On logics intermediate between intuitionistic and classical predicate logic

DOI10.2307/2964756MaRDI QIDQ5518354zbMATH 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/2964756

zbMATH Keywords

mathematical logic

Cites work

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

Cited in

(18)

• 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
• Classifying material implications over minimal logic
• Henkin's completeness proof and Glivenko's theorem
• A short proof of Glivenko theorems for intermediate predicate logics
• Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• 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 negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• On the predicate logic of linear Kripke frames and some of its extensions

This page was built for publication: On logics intermediate between intuitionistic and classical predicate logic

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