On intermediate propositional logics

DOI10.2307/2964571zbMATH Open0113.24203OpenAlexW2148157601MaRDI QIDQ5720187FDOQ5720187

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

• Title not available (Why is that?)
• Über die Zwischensysteme der Aussagenlogik
• The development of lattice theory until 1948.

Cited In (14)

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

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)