On logics intermediate between intuitionistic and classical predicate logic

DOI10.2307/2964756zbMath0143.01004OpenAlexW2000049227MaRDI 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 (18)

A Lemma which Distinguishes Minimal Logics from Other Logics ⋮ Constructing a continuum of predicate extensions of each intermediate propositional logic ⋮ Henkin’s Completeness Proof and Glivenko’s Theorem ⋮ 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 ⋮ A short proof of Glivenko theorems for intermediate predicate logics ⋮ Glivenko theorems and negative translations in substructural predicate logics ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Classifying material implications over minimal logic ⋮ 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 ⋮ On some properties of intermediate logics ⋮ An Axiomatic Theory of Ordinal Numbers ⋮ On some intuitionistic modal logics ⋮ A study of intermediate predicate logics ⋮ On the predicate logic of linear Kripke frames and some of its extensions

Cites Work

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

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