Pages that link to "Item:Q5796041"
From MaRDI portal
The following pages link to Some theorems about the sentential calculi of Lewis and Heyting (Q5796041):
Displaying 50 items.
- Non-classical propositional calculi in relation to methodological patterns of scientific investigation (Q1212922) (← links)
- On a generalized cylindrical algebra and intuitionistic logic (Q1216293) (← links)
- A lattice of normal modal logics (Q1220915) (← links)
- Model-completeness and elimination of quantifiers for subdirect products of structures (Q1222162) (← links)
- Proof of a conjecture of Roman Suszko (Q1225043) (← links)
- Embeddings of classical logic in S4 (Q1233017) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- On some intuitionistic modal logics (Q1244216) (← links)
- Interpretations of intuitionist logic in non-normal modal logics (Q1283321) (← links)
- On the canonicity of Sahlqvist identities (Q1338478) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Synonymous logics (Q1404389) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- On modal logics arising from scattered locally compact Hausdorff spaces (Q1731840) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Varieties of logical matrices (Q1821771) (← links)
- Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) (Q1826435) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
- Existentially closed closure algebras (Q1981991) (← links)
- Intuitionism and the modal logic of vagueness (Q1986078) (← links)
- Basic intuitionistic conditional logic (Q2000668) (← links)
- Extensions of Priest-da Costa logic (Q2016069) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Oskar Becker and the modal translation of intuitionistic logic (Q2094160) (← links)
- Translation from three-valued quantum logic to modal logic (Q2241025) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable (Q2276947) (← links)
- From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices (Q2352454) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Willem Blok and modal logic (Q2433092) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- Semantics for the sentential calculus with identity (Q2554322) (← links)
- Lewis' systems \(S_4\) and \(S_5\) and the identity connective (Q2554688) (← links)
- Identity connective and modality (Q2561209) (← links)
- Provability as a deontic notion (Q2562852) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- Explicit provability and constructive semantics (Q2732527) (← links)
- Conuclear images of substructural logics (Q2813674) (← links)
- The Gödel-Tarski Translations of Intuitionistic Propositional Formulas (Q2900543) (← links)
- Continuity, freeness, and filtrations (Q2901195) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- VARIETIES OF EQUALITY STRUCTURES (Q3043518) (← links)
- Free algebras in the variety of three-valued closure algebras (Q3146371) (← links)
