Some theorems about the sentential calculi of Lewis and Heyting
From MaRDI portal
(Redirected from Publication:5796041)
Cites work
Cited in
(only showing first 100 items - show all)- The modal logic of \({\beta(\mathbb{N})}\)
- Nontabularity of the logic S4 with respect to functional completeness
- Carnapian extensions of S5
- Elementary theories of free topo-Boolean and pseudo-Boolean algebras
- Modal logic and model theory
- On superintuitionistic logics as fragments of proof logic extensions
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic
- Disjunctive property of superintuitionist and modal logics
- Two classes of intermediate propositional logics without disjunction property
- First degree entailments
- Interpolation properties of superintuitionistic logics
- On two problems of Harvey Friedman
- The deducibilities of S5
- Solvability of logical equations in the modal system Grz and intuitionistic logic
- The disjunction property of intermediate propositional logics
- Modal companions of intermediate propositional logics
- Translations and structure for partial propositional calculi
- Non-classical propositional calculi in relation to methodological patterns of scientific investigation
- On a generalized cylindrical algebra and intuitionistic logic
- A lattice of normal modal logics
- Model-completeness and elimination of quantifiers for subdirect products of structures
- Proof of a conjecture of Roman Suszko
- Embeddings of classical logic in S4
- Equational axioms for classes of Heyting algebras
- On some intuitionistic modal logics
- Interpretations of intuitionist logic in non-normal modal logics
- On the canonicity of Sahlqvist identities
- Completeness results for intuitionistic and modal logic in a categorical setting
- Propositional quantification in the topological semantics for S4
- Synonymous logics
- Mathematical modal logic: A view of its evolution
- The genesis of possible worlds semantics
- Modal multilattice logic
- Tarski's theorem on intuitionistic logic, for polyhedra
- On modal logics arising from scattered locally compact Hausdorff spaces
- A semantic hierarchy for intuitionistic logic
- Key notions of Tarski's methodology of deductive systems
- Varieties of logical matrices
- Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
- Constructing a continuum of predicate extensions of each intermediate propositional logic
- The decidability of Craig's interpolation property in well-composed J-logics
- Existentially closed closure algebras
- Intuitionism and the modal logic of vagueness
- Basic intuitionistic conditional logic
- Extensions of Priest-da Costa logic
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism
- Oskar Becker and the modal translation of intuitionistic logic
- Translation from three-valued quantum logic to modal logic
- Proofs and countermodels in non-classical logics
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable
- From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices
- Duality results for (co)residuated lattices
- Willem Blok and modal logic
- Montague's paradox, informal provability, and explicit modal logic
- Semantics for the sentential calculus with identity
- Lewis' systems \(S_4\) and \(S_5\) and the identity connective
- Identity connective and modality
- Provability as a deontic notion
- The intensional side of algebraic-topological representation theorems
- Intuitionistic propositional logic with Galois negations
- Explicit provability and constructive semantics
- Almost structural completeness; an algebraic approach
- Conuclear images of substructural logics
- The Gödel-Tarski translations of intuitionistic propositional formulas
- Continuity, freeness, and filtrations
- Pragmatic and dialogic interpretations of bi-intuitionism. I
- VARIETIES OF EQUALITY STRUCTURES
- Free algebras in the variety of three-valued closure algebras
- Alternative postulate sets for Lewis's S5
- New foundations for Lewis modal systems
- Independent axiom schemata for von wright's M
- A propositional calculus with denumerable matrix
- LC and its pretabular relatives
- Leon Henkin the reviewer
- Alternative semantics for Visser's propositional logics
- Self-referentiality in the Brouwer-Heyting-Kolmogorov semantics of intuitionistic logic
- Intuitionistic epistemology and modal logics of verification
- Topological Semantics of Justification Logic
- Autoreferential semantics for many-valued modal logics
- Definable Sets in Ordered Structures. I
- The projective Beth property in well-composed logics
- Natural factors of the Muchnik lattice capturing IPC
- Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
- Equivalence between semantics for intuitionism. I
- The inadequacy of the neighbourhood semantics for modal logic
- Competitive equilibrium with intuitionistic agents
- GENERALIZED TOPOLOGIES AND THEIR RELEVANCE TO GENERAL SYSTEM† Bibliography of Works of the č ech Topological School
- PROTECTION AS A GENERAL SYSTEMS PROBLEM
- THE LOGIC OF AUTOMATA
- Intuitionistic logic and Muchnik degrees
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices
- A Strange Remark Attributed to Gödel
- Realization of Intuitionistic Logic by Proof Polynomials
- Fatal Heyting algebras and forcing persistent sentences
- Foreword to the special issue dedicated to the memory of Leo Esakia
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information
- The defective conditional in mathematics
- Sahlqvist via translation
- Erdős Graphs Resolve Fine's Canonicity Problem
- A logical and algebraic characterization of adjunctions between generalized quasi-varieties
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)
