A formal system for the non-theorems of the propositional calculus

DOI10.1305/NDJFL/1093888218zbMATH Open0351.02009OpenAlexW2067706159MaRDI QIDQ1235130FDOQ1235130

Xavier Caicedo

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

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cited In (10)

• Complementary proof nets for classical logic
• Anti-intuitionism and paraconsistency
• Paraconsistency in classical logic
• A sequent calculus for skeptical Default Logic
• Sequent calculi for default and autoepistemic logics
• Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
• A Generalisation of a Refutation-related Method in Paraconsistent Logics
• A hybrid calculus for the validities and invalidities of classical propositional logic
• Logics and Their Galaxies
• A sequent calculus for a logic of contingencies

This page was built for publication: A formal system for the non-theorems of the propositional calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1235130)