中間論理
Sign in to saveAlso known as superintuitionistic logic
propositional logic extending intuitionistic logic
Wikidata facts
- Instance of
- propositional calculus
- Subclass of
- mathematical logic
- Based on
- intuitionistic logic
via Wikidata · CC0
Article · 日本語
中間論理 (英: Intermediate logic) は、数理論理学の分野において古典論理と直観主義論理の中間に位置する論理。 この「中間」という意味は、直観主義論理での恒真な命題は中間論理でも恒真であり、古典論理で恒真でない命題は中間論理でも恒真でない、という意味である。
Abstract from DBpedia / Wikipedia · CC BY-SA