On intermediate propositional logics
From MaRDI portal
Publication:5720187
DOI10.2307/2964571zbMath0113.24203OpenAlexW2148157601MaRDI 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 (14)
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 ⋮ LC and Its Pretabular Relatives ⋮ A semantic hierarchy for intuitionistic logic ⋮ Equational axioms for classes of Heyting algebras ⋮ Characteristic Formulas Over Intermediate Logics ⋮ Explicating logical independence ⋮ The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE ⋮ On the Blok-Esakia Theorem ⋮ On logics intermediate between intuitionistic and classical predicate logic
Cites Work
This page was built for publication: On intermediate propositional logics
