A logic stronger than intuitionism

DOI10.2307/2270260MaRDI QIDQ4401418zbMATH OpenOpenAlexFDO

Authors Sabine Koppelberg

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

Mathematics Subject Classification ID

Intermediate logics (03B55) Model theory (03C99)

Cited in

(30)

• 1999 European Summer Meeting of the Association for Symbolic Logic
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
• A first order nonmonotonic extension of constructive logic
• Completeness theorems for some intermediate predicate calculi
• NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
• 2000 Annual Meeting of the Association for Symbolic Logic
• Some forms of excluded middle for linear orders
• Some preservation theorems in an intermediate logic
• Intuitionistic hybrid logic: introduction and survey
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• Intuitionistic axiomatizations for bounded extension Kripke models.
• An infinitary extension of Jankov's theorem
• Subformula and separation properties in natural deduction via small Kripke models
• Constructing a continuum of predicate extensions of each intermediate propositional logic
• The axiom of choice and combinatory logic
• Completeness of intermediate logics with doubly negated axioms
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Completeness results for intuitionistic and modal logic in a categorical setting
• Cut‐Elimination Theorem for the Logic of Constant Domains
• Nested sequents for intuitionistic logics
• Dualized simple type theory
• Kripke completeness of infinitary predicate multimodal logics
• Algebras of intervals and a logic of conditional assertions
• One-variable fragments of intermediate logics over linear frames
• Topological proofs of some Rasiowa-Sikorski lemmas
• On 2nd order intuitionistic propositional calculus with full comprehension
• A semantic hierarchy for intuitionistic logic
• On maximal intermediate predicate constructive logics
• On some intuitionistic modal logics
• A study of intermediate predicate logics

This page was built for publication: A logic stronger than intuitionism

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