A formal system for the non-theorems of the propositional calculus
From MaRDI portal
Publication:1235130
DOI10.1305/ndjfl/1093888218zbMath0351.02009OpenAlexW2067706159MaRDI QIDQ1235130
Publication date: 1978
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093888218
Related Items
Logics and Their Galaxies, Complementary proof nets for classical logic, A sequent calculus for skeptical Default Logic, A sequent calculus for a logic of contingencies, Paraconsistency in classical logic, Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview, Sequent calculi for default and autoepistemic logics, Anti-intuitionism and paraconsistency, A Generalisation of a Refutation-related Method in Paraconsistent Logics
