Some theorems about the sentential calculi of Lewis and Heyting

DOI10.2307/2268135zbMath0037.29409OpenAlexW2084684966WikidataQ56815667 ScholiaQ56815667MaRDI QIDQ5796041

Publication date: 1948

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2268135

zbMATH Keywords

Philosophy and foundations of mathematics

Related Items

Propositional Calculus and Realizability, An Arithmetical Interpretation of Verification and Intuitionistic Knowledge, Realization of Intuitionistic Logic by Proof Polynomials, Leon Henkin the Reviewer, Alternative Semantics for Visser’s Propositional Logics, Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic, Some structure results for propositional calculi, Intuitionistic Epistemology and Modal Logics of Verification, Uniform and non uniform strategies for tableaux calculi for modal logics, An algebraic study of Diodorean modal systems, A modal theorem-preserving translation of a class of three-valued logics of incomplete information, The defective conditional in mathematics, Partitioning Kripke frames of finite height, McKinsey-Tarski algebras: an alternative pointfree approach to topology, Semantic analysis of tense logics, Topological Semantics of Justification Logic, Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect, Logic Discovered and Logic Imposed (A Purim Story), Conservative translations revisited, The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions, Alternative postulate sets for Lewis's S5, Why classical logic is privileged: justification of logics based on translatability, Logical analysis of emotions in text from natural language, New foundations for Lewis modal systems, Independent axiom schemata for von wright's M, STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES, Unnamed Item, A propositional calculus with denumerable matrix, Lattice logic as a fragment of (2-sorted) residuated modal logic, The inadequacy of the neighbourhood semantics for modal logic, GENERALIZED TOPOLOGIES AND THEIR RELEVANCE TO GENERAL SYSTEM† Bibliography of Works of the č ech Topological School, The simplest protoalgebraic logic, Verified Decision Procedures for Modal Logics., PROTECTION AS A GENERAL SYSTEMS PROBLEM, LC and Its Pretabular Relatives, THE LOGIC OF AUTOMATA, In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs, Conservative translations, Algebraic semantics for quasi-classical modal logics, Erdős Graphs Resolve Fine's Canonicity Problem, A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES, Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics, Maksimova, Relevance and the Study of Lattices of Non-classical Logics, A Generalization of Maksimova’s Criterion for the Disjunction Property, Lattice NExtS4 from the Embedding Theorem Viewpoint, Results concerning the decision problem of Lewis's calculi S3 and S6, Modal translation of substructural logics, A Strange Remark Attributed to Gödel, Extensions of the Lewis system S5, On the semantic non-completeness of certain Lewis calculi, Intuitionistic Letcc via Labelled Deduction, New axiomatizations of S3 and S4, Autoreferential semantics for many-valued modal logics, Systems of modal logic which are not unreasonable in the sense of Halldén, Strict implication, deducibility and the deduction theorem, Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M, The Evil Twin: The Basics of Complement-Toposes, From Intuitionism to Brouwer's Modal Logic, Unnamed Item, Definable Sets in Ordered Structures. I, Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory, Some Formal Semantics for Epistemic Modesty, On the Blok-Esakia Theorem, Modal Logics that Bound the Circumference of Transitive Frames, Algebraic semantics for modal logics I, Modal Logics of Some Hereditarily Irresolvable Spaces, MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS, Equivalence between semantics for intuitionism. I, Elementary theories of free topo-Boolean and pseudo-Boolean algebras, Modal logic and model theory, Almost structural completeness; an algebraic approach, On the canonicity of Sahlqvist identities, On superintuitionistic logics as fragments of proof logic extensions, The Gödel-Tarski Translations of Intuitionistic Propositional Formulas, Continuity, freeness, and filtrations, Constructing a continuum of predicate extensions of each intermediate propositional logic, Completeness results for intuitionistic and modal logic in a categorical setting, Intermediate logics with the same disjunctionless fragment as intuitionistic logic, Meredith, Prior, and the history of possible worlds semantics, Disjunctive property of superintuitionist and modal logics, Two classes of intermediate propositional logics without disjunction property, Intuitionistic logic and modality via topology, The modal logic of Gödel sentences, Propositional quantification in the topological semantics for \(\mathbf S4\), The projective Beth property in well-composed logics, Natural factors of the Muchnik lattice capturing IPC, First degree entailments, Self-referentiality of Brouwer-Heyting-Kolmogorov semantics, Modal multilattice logic, Duality results for (co)residuated lattices, Interpolation properties of superintuitionistic logics, On two problems of Harvey Friedman, Competitive equilibrium with intuitionistic agents, The decidability of Craig's interpolation property in well-composed J-logics, Intuitionistic logic and Muchnik degrees, From the knowability paradox to the existence of proofs, Synonymous logics, Willem Blok and modal logic, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem, The intensional side of algebraic-topological representation theorems, Tarski's theorem on intuitionistic logic, for polyhedra, Intuitionistic propositional logic with Galois negations, The deducibilities of S5, Interpolation and definability over the logic Gl, Fatal Heyting algebras and forcing persistent sentences, Foreword to the special issue dedicated to the memory of Leo Esakia, Mathematical modal logic: A view of its evolution, Syntax and semantics of superintuitionistic logics, Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus, B-varieties with normal free algebras, Pragmatic and dialogic interpretations of bi-intuitionism. Part I, Combining and automating classical and non-classical logics in classical higher-order logics, Montague's paradox, informal provability, and explicit modal logic, Solvability of logical equations in the modal system Grz and intuitionistic logic, Proof analysis in intermediate logics, Natural factors of the Medvedev lattice capturing IPC, On modal logics arising from scattered locally compact Hausdorff spaces, The disjunction property of intermediate propositional logics, Explicit Provability and Constructive Semantics, A semantic hierarchy for intuitionistic logic, Existentially closed closure algebras, Intuitionism and the modal logic of vagueness, Translation from three-valued quantum logic to modal logic, On non-self-referential fragments of modal logics, Modal companions of intermediate propositional logics, Intermediate logics and factors of the Medvedev lattice, Spatial logic of tangled closure operators and modal mu-calculus, Basic intuitionistic conditional logic, Proofs and countermodels in non-classical logics, Decidability of the weak interpolation property over the minimal logic, On the simple substitution property for superintuitionistic and modal 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, Completeness of S4 with respect to the real line: revisited, Covering rough sets based on neighborhoods: an approach without using neighborhoods, A lattice of normal modal logics, Model-completeness and elimination of quantifiers for subdirect products of structures, VARIETIES OF EQUALITY STRUCTURES, Extensions of Priest-da Costa logic, Proof of a conjecture of Roman Suszko, Embeddings of classical logic in S4, Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable, Epistemic and intuitionistic formal systems, Equational axioms for classes of Heyting algebras, On the elimination of Malitz quantifiers over Archimedian real closed fields, On some intuitionistic modal logics, Conuclear images of substructural logics, The modal logic of \({\beta(\mathbb{N})}\), Key notions of Tarski's methodology of deductive systems, Varieties of logical matrices, On the structure of varieties with equationally definable principal congruences. II, Expansions of semi-Heyting algebras. I: Discriminator varieties, On disjunctions and existential statements in intuitionistic systems of logic, Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\), Interpretations of intuitionist logic in non-normal modal logics, Semantics for the sentential calculus with identity, Lewis' systems \(S_4\) and \(S_5\) and the identity connective, Identity connective and modality, Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism, Provability as a deontic notion, Oskar Becker and the modal translation of intuitionistic logic, Nontabularity of the logic S4 with respect to functional completeness, Carnapian extensions of S5, From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices, Free algebras in the variety of three-valued closure algebras, The genesis of possible worlds semantics

Cites Work