Pages that link to "Item:Q5565105"
From MaRDI portal
The following pages link to The decidability of certain intermediate propositional logics (Q5565105):
Displaying 29 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- Disjunctive property of superintuitionist and modal logics (Q1109023) (← links)
- Finite axiomatization for some intermediate logics (Q1165839) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- Splitting algebras and a weak notion of projectivity (Q1224592) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- Some results concerning finite model separability of propositional calculi (Q1239307) (← links)
- Separability of normalizable superintuitionistic propositional logics (Q1290801) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Properties of superintuitionistic propositional calculi (Q1814378) (← links)
- On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
- Characteristic inference rules (Q2342800) (← links)
- An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- Kripke models and intermediate logics (Q2548955) (← links)
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up (Q2555486) (← links)
- Diego's theorem for nuclear implicative semilattices (Q2657649) (← links)
- Residuated Structures, Concentric Sums and Finiteness Conditions (Q3543391) (← links)
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE (Q3644804) (← links)
- Canonical formulas for <i>K</i>4. Part I: Basic results (Q4032666) (← links)
- The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
- Canonical formulas for K4. Part II: Cofinal subframe logics (Q4894720) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)