Refutation systems: an overview and some applications to philosophical logics

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

Valentin Goranko, Gabriele Pulcini, Tomasz Skura

Publication date: 11 September 2024

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Relevance and paraconsistency - a new approach. II: The formal systems
• Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
• Relevant entailment—semantics and formal systems
• Sequent calculi for default and autoepistemic logics
• Sequent calculi for propositional nonmonotonic logics

Related Items (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