Refutations in Wansing's logic

DOI10.4467/20842589RM.17.005.7143MaRDI QIDQ4609357zbMATH OpenWikidataFDO

Authors Tomasz Skura

Publication date 29 March 2018

Published in Reports on Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4467/20842589RM.17.005.7143

zbMATH Keywords

decision proceduresNelson's logicnonmonotonic inferencerefutation systems

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Paraconsistent logics (03B53) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• A note on Wansing's expansion of Nelson's logic. A correction to an axiomatization of Wansing's expansion of Nelson's logic
• An axiomatization of Wansing's expansion of Nelson's logic
• Refutation systems in modal logic
• Refutations, proofs, and models in the modal logic K4
• Refutation systems for a system of nonsense-logic

Cited in

(7)

• A note on Wansing's expansion of Nelson's logic. A correction to an axiomatization of Wansing's expansion of Nelson's logic
• scientific article; zbMATH DE number 1018736 (Why is no real title available?)
• An axiomatization of Wansing's expansion of Nelson's logic
• scientific article; zbMATH DE number 7117713 (Why is no real title available?)
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics

This page was built for publication: Refutations in Wansing's logic

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