Refutation systems for a system of nonsense-logic

MaRDI QIDQ3105692zbMATH OpenFDO

Authors Robert Sochacki

Publication date 5 January 2012

zbMATH Keywords

refutation systemsrejected axiomsŁ-decidability

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• Rejected axioms for the ``nonsense-logic W and the \(k\)-valued logic of Sobociński
• Logics of rejection: Two systems of natural deduction
• A rejection system for the first-degree formulae of some relevant logics
• Refutation systems in modal logic
• scientific article; zbMATH DE number 1018736

Cited in

(9)

• Logics of nonsense and Parry systems
• Logics of rejection: Two systems of natural deduction
• The RM paraconsistent refutation system
• A rejection system for the first-degree formulae of some relevant logics
• Rejected axioms for the ``nonsense-logic W and the \(k\)-valued logic of Sobociński
• scientific article; zbMATH DE number 1018736 (Why is no real title available?)
• scientific article; zbMATH DE number 1975403 (Why is no real title available?)
• Refutations in Wansing's logic
• Rejection in Łukasiewicz’s and Słupecki’s Sense

This page was built for publication: Refutation systems for a system of nonsense-logic

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