On intermediate propositional logics
From MaRDI portal
Publication:5720187
DOI10.2307/2964571zbMath0113.24203MaRDI QIDQ5720187
Publication date: 1959
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2964571
Related Items
Characteristic Formulas Over Intermediate Logics, On the Blok-Esakia Theorem, On logics intermediate between intuitionistic and classical predicate logic, Certain Method for Generating a Series of Logics, Jankov Formulas and Axiomatization Techniques for Intermediate Logics, On superintuitionistic logics as fragments of proof logic extensions, A cut-free Gentzen-type system for the logic of the weak law of excluded middle, A note on sequent calculi intermediate between LJ and LK, Equational axioms for classes of Heyting algebras, A semantic hierarchy for intuitionistic logic, The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s, Explicating logical independence, LC and Its Pretabular Relatives, AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
Cites Work