Translations and structure for partial propositional calculi

DOI10.1007/BF02120865zbMath0293.02008OpenAlexW2078574844MaRDI QIDQ1211980

E. William jun. Chapin

Publication date: 1974

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02120865

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A detailed argument for the Post-Linial theorems
• Gentzen-like systems for partial propositional calculi. I. II
• A note on finite axiomatization of partial propositional calculi
• Some Ways of Constructing a Propositional Calculus of Any Required Degree of Unsolvability
• A complex of problems proposed by Post
• Über Unabhängigkeitsbeweise im Aussagenkalkül
• Models of logical systems
• Some theorems about the sentential calculi of Lewis and Heyting
• Remarks on the Comparison of Axiom Systems
• Note on truth-tables
• A test for the existence of tautologies according to many-valued truth-tables
• Arithmetic Translations of Axiom Systems
• A test for the equality of truth-tables
• An undecidable problem in the algebra of truth-tables

This page was built for publication: Translations and structure for partial propositional calculi