A logic stronger than intuitionism

DOI10.2307/2270260zbMATH Open0276.02013OpenAlexW2171090910MaRDI QIDQ4401418FDOQ4401418

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (30)

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

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)