bn:03643194n
Noun Named Entity
Categories: 非古典論理, 命題論理
JA
中間論理
JA
中間論理 は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。 Wikipedia
Definitions
Relations
Sources
JA
中間論理 は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。 Wikipedia
Wikipedia
Wikidata