Gentzen-like systems for partial propositional calculi. I. II

DOI10.1305/NDJFL/1093894153zbMath0177.00704OpenAlexW2095034254MaRDI QIDQ2534156

E. William jun. Chapin

Publication date: 1971

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093894153

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05)

Related Items (2)

Measures of centrality and complexity for partial propositional calculi ⋮ Translations and structure for partial propositional calculi

This page was built for publication: Gentzen-like systems for partial propositional calculi. I. II