Some theorems about the sentential calculi of Lewis and Heyting

Cites Work

Note on a property of matrices for Lewis and Langford's calculi of propositions
On closed elements in closure algebras
The algebra of topology
A reduction in number of the postulates for C. I. Lewis’ system of strict implication

Cited In (only showing first 100 items - show all)

Meredith, Prior, and the history of possible worlds semantics
Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
Definable Sets in Ordered Structures. I
Interpolation and definability over the logic Gl
Decidability of the weak interpolation property over the minimal logic
The modal logic of \({\beta(\mathbb{N})}\)
From the knowability paradox to the existence of proofs
Equational axioms for classes of Heyting algebras
Competitive equilibrium with intuitionistic agents
Algebraic semantics for modal logics I
Semantic analysis of tense logics
On the simple substitution property for superintuitionistic and modal propositional logics
Almost structural completeness; an algebraic approach
On the Blok-Esakia Theorem
Intermediate logics and factors of the Medvedev lattice
On two problems of Harvey Friedman
Erdős Graphs Resolve Fine's Canonicity Problem
The decidability of Craig's interpolation property in well-composed J-logics
Completeness of S4 with respect to the real line: revisited
On the canonicity of Sahlqvist identities
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
Covering rough sets based on neighborhoods: an approach without using neighborhoods
On the elimination of Malitz quantifiers over Archimedian real closed fields
The disjunction property of intermediate propositional logics
The genesis of possible worlds semantics
Combining and automating classical and non-classical logics in classical higher-order logics
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
A modal theorem-preserving translation of a class of three-valued logics of incomplete information
Extensions of the Lewis system S5
Fatal Heyting algebras and forcing persistent sentences
Foreword to the special issue dedicated to the memory of Leo Esakia
Intuitionistic logic and modality via topology
Uniform and non uniform strategies for tableaux calculi for modal logics
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
On a generalized cylindrical algebra and intuitionistic logic
A lattice of normal modal logics
Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
Montague's paradox, informal provability, and explicit modal logic
Expansions of semi-Heyting algebras. I: Discriminator varieties
On superintuitionistic logics as fragments of proof logic extensions
Mathematical modal logic: A view of its evolution
New foundations for Lewis modal systems
Propositional Calculus and Realizability
The modal logic of Gödel sentences
Proofs and countermodels in non-classical logics
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
Modal companions of intermediate propositional logics
Proof analysis in intermediate logics
Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic
Natural factors of the Medvedev lattice capturing IPC
From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices
Pragmatic and dialogic interpretations of bi-intuitionism. Part I
Explicit provability and constructive semantics
On the structure of varieties with equationally definable principal congruences. II
Syntax and semantics of superintuitionistic logics
A propositional calculus with denumerable matrix
Intermediate logics with the same disjunctionless fragment as intuitionistic logic
Semantics for the sentential calculus with identity
Modal multilattice logic
Extensions of Priest-da Costa logic
On some intuitionistic modal logics
Identity connective and modality
Continuity, freeness, and filtrations
Epistemic and intuitionistic formal systems
Completeness results for intuitionistic and modal logic in a categorical setting
On non-self-referential fragments of modal logics
Title not available (Why is that?)
First degree entailments
Conservative translations
Spatial logic of tangled closure operators and modal mu-calculus
Synonymous logics
The projective Beth property in well-composed logics
Natural factors of the Muchnik lattice capturing IPC
On the semantic non-completeness of certain Lewis calculi
Strict implication, deducibility and the deduction theorem
Intuitionistic logic and Muchnik degrees
Interpolation properties of superintuitionistic logics
Intuitionistic Letcc via Labelled Deduction
VARIETIES OF EQUALITY STRUCTURES
Algebraic semantics for quasi-classical modal logics
Alternative postulate sets for Lewis's S5
Independent axiom schemata for von wright's M
Willem Blok and modal logic
Proof of a conjecture of Roman Suszko
Mortensen logics
Basic intuitionistic conditional logic
Title not available (Why is that?)
On modal logics arising from scattered locally compact Hausdorff spaces
Leon Henkin the Reviewer
Some Formal Semantics for Epistemic Modesty
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
The Evil Twin: The Basics of Complement-Toposes
Disjunctive property of superintuitionist and modal logics
A semantic hierarchy for intuitionistic logic
Logic Discovered and Logic Imposed (A Purim Story)
Autoreferential semantics for many-valued modal logics
Carnapian extensions of S5
The Gödel-Tarski translations of intuitionistic propositional formulas
Alternative Semantics for Visser’s Propositional Logics
Two classes of intermediate propositional logics without disjunction property

This page was built for publication: Some theorems about the sentential calculi of Lewis and Heyting

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