On intermediate propositional logics

DOI10.2307/2964571MaRDI QIDQ5720187zbMATH OpenOpenAlexFDO

Authors Toshio Umezawa

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

zbMATH Keywords

mathematical logic

Cites work

• scientific article; zbMATH DE number 3052787 (Why is no real title available?)
• The development of lattice theory until 1948.
• Über die Zwischensysteme der Aussagenlogik

Cited in

(14)

• Certain Method for Generating a Series of Logics
• Explicating logical independence
• Characteristic formulas over intermediate logics
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s
• LC and its pretabular relatives
• On superintuitionistic logics as fragments of proof logic extensions
• On logics intermediate between intuitionistic and classical predicate logic
• Equational axioms for classes of Heyting algebras
• A note on sequent calculi intermediate between LJ and LK
• A cut-free Gentzen-type system for the logic of the weak law of excluded middle
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• On the Blok-Esakia theorem
• A semantic hierarchy for intuitionistic logic

This page was built for publication: On intermediate propositional logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5720187)