The decidability of certain intermediate propositional logics

DOI10.2307/2269871MaRDI QIDQ5565105zbMATH OpenOpenAlexFDO

Authors C. G. McKay

Publication date 1968

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2269871

zbMATH Keywords

recursion theory, constructive mathematics

Cites work

• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül

Cited in

(30)

• Semiconic idempotent residuated structures
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• Disjunctive property of superintuitionist and modal logics
• Finite axiomatization for some intermediate logics
• Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
• Splitting algebras and a weak notion of projectivity
• Equational axioms for classes of Heyting algebras
• Some results concerning finite model separability of propositional calculi
• Separability of normalizable superintuitionistic propositional logics
• A semantic hierarchy for intuitionistic logic
• Properties of superintuitionistic propositional calculi
• On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes
• The decidability of Craig's interpolation property in well-composed J-logics
• Characteristic inference rules
• An algebraic approach to subframe logics. Intuitionistic case
• Characteristic formulas of partial Heyting algebras
• Kripke models and intermediate logics
• Axiomatization of models for intermediate logics constructed with Boolean models by piling up
• Diego's theorem for nuclear implicative semilattices
• Residuated Structures, Concentric Sums and Finiteness Conditions
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• The projective Beth property in well-composed logics
• Canonical formulas for K4. Part I: Basic results
• The undecidability of the disjunction property of propositional logics and other related problems
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Existentially closed Brouwerian semilattices
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Admissible rules in the implication-negation fragment of intuitionistic logic
• Categorical-algebraic aspects of Heyting semilattices
• Syntax and semantics of superintuitionistic logics

This page was built for publication: The decidability of certain intermediate propositional logics

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