On logics intermediate between intuitionistic and classical predicate logic
From MaRDI portal
Publication:5518354
DOI10.2307/2964756zbMath0143.01004MaRDI 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
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 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, Classifying material implications over minimal logic, Henkin’s Completeness Proof and Glivenko’s Theorem, Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
Cites Work