On logics intermediate between intuitionistic and classical predicate logic

DOI10.2307/2964756zbMath0143.01004MaRDI QIDQ5518354

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/2964756

zbMATH Keywords

mathematical logic

Related Items

Completeness of intermediate logics with doubly negated axioms, A Lemma which Distinguishes Minimal Logics from Other Logics, On some properties of intermediate logics, An Axiomatic Theory of Ordinal Numbers, A short proof of Glivenko theorems for intermediate predicate logics, On the predicate logic of linear Kripke frames and some of its extensions, A cut-free Gentzen-type system for the logic of the weak law of excluded middle, Ordered sets R and Q as bases of Kripke models, A note on sequent calculi intermediate between LJ and LK, On some intuitionistic modal logics, A study of intermediate predicate logics, Constructing a continuum of predicate extensions of each intermediate propositional logic, Glivenko theorems and negative translations in substructural predicate logics, Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics

Cites Work

• On intermediate propositional logics
• Proofs of non-deducibility in intuitionistic functional calculus
• Über die Zwischensysteme der Aussagenlogik