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.
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- The projective Beth property in well-composed logics (Q384403) (← links)
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298) (← links)
- Competitive equilibrium with intuitionistic agents (Q408315) (← links)
- Intuitionistic logic and Muchnik degrees (Q412013) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- Fatal Heyting algebras and forcing persistent sentences (Q454370) (← links)
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- On non-self-referential fragments of modal logics (Q508827) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- On the simple substitution property for superintuitionistic and modal propositional logics (Q542292) (← links)
- Covering rough sets based on neighborhoods: an approach without using neighborhoods (Q553978) (← links)
- Epistemic and intuitionistic formal systems (Q580343) (← links)
- On the elimination of Malitz quantifiers over Archimedian real closed fields (Q584248) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- The modal logic of Gödel sentences (Q600852) (← links)
- From the knowability paradox to the existence of proofs (Q625705) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- On disjunctions and existential statements in intuitionistic systems of logic (Q767454) (← links)
- Meredith, Prior, and the history of possible worlds semantics (Q857664) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- B-varieties with normal free algebras (Q921027) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- The modal logic of \({\beta(\mathbb{N})}\) (Q1016504) (← links)
- Nontabularity of the logic S4 with respect to functional completeness (Q1055758) (← links)
- Carnapian extensions of S5 (Q1066883) (← links)
- Elementary theories of free topo-Boolean and pseudo-Boolean algebras (Q1076014) (← links)
- Modal logic and model theory (Q1080411) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- Disjunctive property of superintuitionist and modal logics (Q1109023) (← links)
- Two classes of intermediate propositional logics without disjunction property (Q1115419) (← links)
- First degree entailments (Q1131500) (← links)
- Interpolation properties of superintuitionistic logics (Q1140079) (← links)
- On two problems of Harvey Friedman (Q1140629) (← links)
- The deducibilities of S5 (Q1159660) (← links)
- Solvability of logical equations in the modal system Grz and intuitionistic logic (Q1177557) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Translations and structure for partial propositional calculi (Q1211980) (← links)
