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

DOI10.1305/NDJFL/1093888218MaRDI QIDQ1235130zbMATH OpenOpenAlexFDO

Authors 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)

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

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)