Some theorems about the sentential calculi of Lewis and Heyting

Cites work

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

Cited in

(only showing first 100 items - show all)

Interpolation properties of superintuitionistic logics
Syntax and semantics of superintuitionistic logics
Meredith, Prior, and the history of possible worlds semantics
Epistemic and intuitionistic formal systems
Extensions of Priest-da Costa logic
Covering rough sets based on neighborhoods: an approach without using neighborhoods
Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
Synonymous logics
On the elimination of Malitz quantifiers over Archimedian real closed fields
Erdős Graphs Resolve Fine's Canonicity Problem
Proof analysis in intermediate logics
Completeness of S4 with respect to the real line: revisited
Almost structural completeness; an algebraic approach
Intermediate logics and factors of the Medvedev lattice
First degree entailments
Semantic analysis of tense logics
The disjunction property of intermediate propositional logics
On the simple substitution property for superintuitionistic and modal propositional logics
A propositional calculus with denumerable matrix
Propositional Calculus and Realizability
On superintuitionistic logics as fragments of proof logic extensions
Competitive equilibrium with intuitionistic agents
Definable Sets in Ordered Structures. I
Intermediate logics with the same disjunctionless fragment as intuitionistic logic
Interpolation and definability over the logic Gl
Conservative translations
Identity connective and modality
Semantics for the sentential calculus with identity
The modal logic of Gödel sentences
Explicit provability and constructive semantics
On a generalized cylindrical algebra and intuitionistic logic
In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs
A lattice of normal modal logics
The genesis of possible worlds semantics
Equational axioms for classes of Heyting algebras
The projective Beth property in well-composed logics
Natural factors of the Muchnik lattice capturing IPC
A modal theorem-preserving translation of a class of three-valued logics of incomplete information
Extensions of the Lewis system S5
Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
Continuity, freeness, and filtrations
Completeness results for intuitionistic and modal logic in a categorical setting
On the semantic non-completeness of certain Lewis calculi
Pragmatic and dialogic interpretations of bi-intuitionism. I
On the canonicity of Sahlqvist identities
Modal companions of intermediate propositional logics
Strict implication, deducibility and the deduction theorem
Spatial logic of tangled closure operators and modal mu-calculus
Intuitionistic logic and Muchnik degrees
Decidability of the weak interpolation property over the minimal logic
From the knowability paradox to the existence of proofs
Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic
On the Blok-Esakia theorem
Combining and automating classical and non-classical logics in classical higher-order logics
Algebraic semantics for modal logics I
Natural factors of the Medvedev lattice capturing IPC
The modal logic of \({\beta(\mathbb{N})}\)
Modal multilattice logic
From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices
On two problems of Harvey Friedman
Intuitionistic logic and modality via topology
Proofs and countermodels in non-classical logics
On non-self-referential fragments of modal logics
Mathematical modal logic: A view of its evolution
On the structure of varieties with equationally definable principal congruences. II
Montague's paradox, informal provability, and explicit modal logic
Fatal Heyting algebras and forcing persistent sentences
Foreword to the special issue dedicated to the memory of Leo Esakia
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
The decidability of Craig's interpolation property in well-composed J-logics
Expansions of semi-Heyting algebras. I: Discriminator varieties
New foundations for Lewis modal systems
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
Uniform and non uniform strategies for tableaux calculi for modal logics
On some intuitionistic modal logics
scientific article; zbMATH DE number 3797730 (Why is no real title available?)
Results concerning the decision problem of Lewis's calculi S3 and S6
Oskar Becker and the modal translation of intuitionistic logic
Propositional quantification in the topological semantics for \(\mathbf S4\)
Modal Logics of Some Hereditarily Irresolvable Spaces
Modal logic and model theory
Nontabularity of the logic S4 with respect to functional completeness
Equivalence between semantics for intuitionism. I
Logic Discovered and Logic Imposed (A Purim Story)
Tarski's theorem on intuitionistic logic, for polyhedra
Willem Blok and modal logic
Existentially closed closure algebras
On modal logics arising from scattered locally compact Hausdorff spaces
Elementary theories of free topo-Boolean and pseudo-Boolean algebras
Maksimova, relevance and the study of lattices of non-classical logics
Lattice NExtS4 from the embedding theorem viewpoint
B-varieties with normal free algebras
McKinsey-Tarski algebras: an alternative pointfree approach to topology
A logical and algebraic characterization of adjunctions between generalized quasi-varieties
Lattice logic as a fragment of (2-sorted) residuated modal logic
Autoreferential semantics for many-valued modal logics
Leon Henkin the reviewer
Some formal semantics for epistemic modesty
Varieties of logical matrices

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)