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)

Verified Decision Procedures for Modal Logics.
Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
Meredith, Prior, and the history of possible worlds semantics
Constructive embedding from extensions of logics of strict implication into modal logics
Interpolation and definability over the logic Gl
New axiomatizations of S3 and S4
Decidability of the weak interpolation property over the minimal logic
The modal logic of \({\beta(\mathbb{N})}\)
VARIETIES OF EQUALITY STRUCTURES
Definable Sets in Ordered Structures. I
Intuitionistic Letcc via Labelled Deduction
Proof of a conjecture of Roman Suszko
Alternative postulate sets for Lewis's S5
Willem Blok and modal logic
Independent axiom schemata for von wright's M
Algebraic semantics for quasi-classical modal logics
From the knowability paradox to the existence of proofs
Equational axioms for classes of Heyting algebras
Basic intuitionistic conditional logic
Competitive equilibrium with intuitionistic agents
On modal logics arising from scattered locally compact Hausdorff spaces
Modal companions for the special extensions of Nelson's constructive logic
Mortensen logics
On Shehtman's two problems
On the simple substitution property for superintuitionistic and modal propositional logics
Algebraic semantics for modal logics I
Disjunctive property of superintuitionist and modal logics
A semantic hierarchy for intuitionistic logic
Semantic analysis of tense logics
Logic and biology: the correspondence between Alfred Tarski and Joseph H. Woodger
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
A model theory of topology
Logic Discovered and Logic Imposed (A Purim Story)
Almost structural completeness; an algebraic approach
Carnapian extensions of S5
Autoreferential semantics for many-valued modal logics
Two classes of intermediate propositional logics without disjunction property
The Gödel-Tarski translations of intuitionistic propositional formulas
Intuitionistic Sahlqvist theory for deductive systems
The deducibilities of S5
Intermediate logics and factors of the Medvedev lattice
Embeddings of classical logic in S4
Logical analysis of emotions in text from natural language
Constructing a continuum of predicate extensions of each intermediate propositional logic
An algebraic study of Diodorean modal systems
On two problems of Harvey Friedman
Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
Why classical logic is privileged: justification of logics based on translatability
Erdős Graphs Resolve Fine's Canonicity Problem
Translation from three-valued quantum logic to modal logic
McKinsey-Tarski algebras: an alternative pointfree approach to topology
The decidability of Craig's interpolation property in well-composed J-logics
Completeness of S4 with respect to the real line: revisited
Systems of modal logic which are not unreasonable in the sense of Halldén
Constructive theories through a modal lens
A Strange Remark Attributed to Gödel
On the canonicity of Sahlqvist identities
Maksimova, relevance and the study of lattices of non-classical logics
Lattice NExtS4 from the embedding theorem viewpoint
Interpretations of intuitionist logic in non-normal modal logics
Intuitionism and the modal logic of vagueness
Covering rough sets based on neighborhoods: an approach without using neighborhoods
The disjunction property of intermediate propositional logics
On the elimination of Malitz quantifiers over Archimedian real closed fields
Elementary theories of free topo-Boolean and pseudo-Boolean algebras
Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic
The genesis of possible worlds semantics
Combining and automating classical and non-classical logics in classical higher-order logics
Conuclear images of substructural logics
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
Results concerning the decision problem of Lewis's calculi S3 and S6
Modal Logics of Some Hereditarily Irresolvable Spaces
Intuitionistic epistemology and modal logics of verification
A modal theorem-preserving translation of a class of three-valued logics of incomplete information
The orthologic of epistemic modals
Fatal Heyting algebras and forcing persistent sentences
Foreword to the special issue dedicated to the memory of Leo Esakia
Lattice logic as a fragment of (2-sorted) residuated modal logic
Pragmatic and dialogic interpretations of bi-intuitionism. I
Saul Kripke: a portrait of the modal logician as a young man
Failure of the Blok-Esakia theorem in the monadic setting
Extensions of the Lewis system S5
Intuitionistic logic and modality via topology
A logical and algebraic characterization of adjunctions between generalized quasi-varieties
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
Existentially closed closure algebras
Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
Relative interpretation between logics
On a generalized cylindrical algebra and intuitionistic logic
A lattice of normal modal logics
Characterization of rough identity-summand graph
Uniform and non uniform strategies for tableaux calculi for modal logics
Expansions of semi-Heyting algebras. I: Discriminator varieties
Sahlqvist via translation
Montague's paradox, informal provability, and explicit modal logic
On superintuitionistic logics as fragments of proof logic extensions
Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
Modal Logics that Bound the Circumference of Transitive Frames
Structuralism and informal provability

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)