A logic stronger than intuitionism
From MaRDI portal
Publication:4401418
DOI10.2307/2270260zbMath0276.02013OpenAlexW2171090910MaRDI QIDQ4401418
Publication date: 1971
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270260
Related Items
2000 Annual Meeting of the Association for Symbolic Logic ⋮ Constructing a continuum of predicate extensions of each intermediate propositional logic ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ Cut‐Elimination Theorem for the Logic of Constant Domains ⋮ One-variable fragments of intermediate logics over linear frames ⋮ NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Some forms of excluded middle for linear orders ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Intuitionistic axiomatizations for bounded extension Kripke models. ⋮ Dualized Simple Type Theory ⋮ Nested sequents for intuitionistic logics ⋮ Topological proofs of some Rasiowa-Sikorski lemmas ⋮ An infinitary extension of Jankov's theorem ⋮ A semantic hierarchy for intuitionistic logic ⋮ Completeness of intermediate logics with doubly negated axioms ⋮ The axiom of choice and combinatory logic ⋮ SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ Algebras of intervals and a logic of conditional assertions ⋮ On some intuitionistic modal logics ⋮ 1999 European Summer Meeting of the Association for Symbolic Logic ⋮ Some preservation theorems in an intermediate logic ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic ⋮ On maximal intermediate predicate constructive logics ⋮ A study of intermediate predicate logics ⋮ Completeness theorems for some intermediate predicate calculi ⋮ A first order nonmonotonic extension of constructive logic ⋮ On 2nd order intuitionistic propositional calculus with full comprehension
Cites Work
This page was built for publication: A logic stronger than intuitionism
