Fragments of the propositional calculus

DOI10.2307/2268976zbMath0034.00703OpenAlexW2057066322WikidataQ56235383 ScholiaQ56235383MaRDI QIDQ5791203

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

Related Items (11)

Two semantical approaches to paraconsistent modalities ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ Some Ways of Constructing a Propositional Calculus of Any Required Degree of Unsolvability ⋮ 2-element matrices ⋮ Dugundji's theorem revisited ⋮ In Memoriam: Leon Albert Henkin 1921–2006 ⋮ Completeness and incompleteness for anodic modal logics ⋮ Completeness of calculii for axiomatically defined classes of algebras ⋮ The compactness of first-order logic:from gödel to lindström ⋮ Identities in Two-Valued Calculi ⋮ Substitutionless predicate logic with identity

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