Fragments of the propositional calculus
From MaRDI portal
Publication:5791203
DOI10.2307/2268976zbMath0034.00703WikidataQ56235383 ScholiaQ56235383MaRDI QIDQ5791203
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
Related Items
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, 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