Fragments of the propositional calculus

DOI10.2307/2268976MaRDI QIDQ5791203zbMATH OpenOpenAlexWikidataFDO

Authors Leon Henkin

Publication date 1949

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

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

zbMATH Keywords

Philosophy and foundations of mathematics

Cited in

(13)

• 2-element matrices
• Two semantical approaches to paraconsistent modalities
• Dugundji's theorem revisited
• Completeness of calculii for axiomatically defined classes of algebras
• The compactness of first-order logic:from gödel to lindström
• In Memoriam: Leon Albert Henkin 1921–2006
• Completeness and incompleteness for anodic modal logics
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Substitutionless predicate logic with identity
• Some Ways of Constructing a Propositional Calculus of Any Required Degree of Unsolvability
• Identities in Two-Valued Calculi
• Many-valued modalities and paraconsistency
• A Kalmár-style completeness proof for the logics of the hierarchy \(\mathbb{I}^n\mathbb{P}^k\).

This page was built for publication: Fragments of the propositional calculus

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