Abstract
By intermediate prepositional logics we mean prepositional logics between the intuitionistic and classical logics.K. Gödel [1] proved that there is a set of intermediate prepositional logics which possesses the order type ω. The method enables us to define intermediate logics in terms of axioms and rules of inference. We shall call it the axiomatic method.
Publisher
Cambridge University Press (CUP)
Reference9 articles.
1. Grundzüge der Theoretischen Logik
2. Über die Zwischensysteme der Aussagenlogik
3. Zum intuitionistischen Aussagenkalkül;Gödel;Ergebnisse eines mathematischen Kolloquiums,1931–1932
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Jankov Formulas and Axiomatization Techniques for Intermediate Logics;Outstanding Contributions to Logic;2022
2. Explicating Logical Independence;Journal of Philosophical Logic;2019-05-25
3. A semantic hierarchy for intuitionistic logic;Indagationes Mathematicae;2019-05
4. Characteristic Formulas Over Intermediate Logics;Larisa Maksimova on Implication, Interpolation, and Definability;2018
5. LC and Its Pretabular Relatives;Outstanding Contributions to Logic;2016