On logics intermediate between intuitionistic and classical predicate logic
From MaRDI portal
Publication:5518354
DOI10.2307/2964756zbMath0143.01004OpenAlexW2000049227MaRDI QIDQ5518354
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
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
This page was built for publication: On logics intermediate between intuitionistic and classical predicate logic
