Refutation systems: an overview and some applications to philosophical logics

DOI10.1007/978-981-15-2221-5_9MaRDI QIDQ6601769zbMATH OpenFDO

Authors Valentin Goranko, Gabriele Pulcini, Tomasz Skura

Publication date 11 September 2024

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)

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

Cites work

• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1301750 (Why is no real title available?)
• Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
• Relevance and paraconsistency - a new approach. II: The formal systems
• Relevant entailment—semantics and formal systems
• Sequent calculi for default and autoepistemic logics
• Sequent calculi for propositional nonmonotonic logics

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)