A decision procedure for Fitch's propositional calculus
From MaRDI portal
Publication:2535387
DOI10.1305/ndjfl/1093956248zbMath0183.01501OpenAlexW2050800354MaRDI QIDQ2535387
Publication date: 1967
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093956248
Related Items
Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs ⋮ Semantical analyses of propositional systems of Fitch and Nelson
This page was built for publication: A decision procedure for Fitch's propositional calculus