The decidability of certain intermediate propositional logics

DOI10.2307/2269871zbMath0175.27103MaRDI QIDQ5565105

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

Related Items

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, The projective Beth property in well-composed logics, Admissible rules in the implication-negation fragment of intuitionistic logic, Syntax and semantics of superintuitionistic logics, 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, Canonical formulas for K4. Part I: Basic results

Cites Work

• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül