Refutation systems: an overview and some applications to philosophical logics

DOI10.1007/978-981-15-2221-5_9zbMATH Open1547.03349MaRDI QIDQ6601769FDOQ6601769

Authors: Valentin Goranko, Gabriele Pulcini, Tomasz Skura 

Publication date: 11 September 2024

Recommendations

• Refutation systems in modal logic
• Refutation systems in the finite
• On refutation rules
• scientific article; zbMATH DE number 970625
• scientific article; zbMATH DE number 4158595

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Title not available (Why is that?)
• Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
• Relevant entailment—semantics and formal systems
• Title not available (Why is that?)
• Sequent calculi for propositional nonmonotonic logics
• Sequent calculi for default and autoepistemic logics
• Relevance and paraconsistency - a new approach. II: The formal systems

Cited In (3)

• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
• A note on synonymy in proof-theoretic semantics
• A hybrid calculus for the validities and invalidities of classical propositional logic

This page was built for publication: Refutation systems: an overview and some applications to philosophical logics

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