A hypersequent calculus for classical contingencies

DOI10.1007/S10992-026-09832-YMaRDI QIDQ6845918zbMATH OpenFDO

Authors Gabriele Pulcini, Achille C. Varzi

Publication date 12 March 2026

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10992-026-09832-Y

zbMATH Keywords

antisequentclassical logiccontingencyhypersequentparaconsistency

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A constructive analysis of RM
• A note on cut-elimination for classical propositional logic
• A rejection system for the first-degree formulae of some relevant logics
• A sequent calculus for a logic of contingencies
• A sound and complete proof theory for propositional logical contingencies
• Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
• Complementary proof nets for classical logic
• Cut-elimination and deductive polarization in complementary classical logic
• Exception and typicality, logically framed
• Fractional semantics for classical logic
• Gentzen-type systems, resolution and tableaux
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 4210100 (Why is no real title available?)
• scientific article; zbMATH DE number 4135918 (Why is no real title available?)
• scientific article; zbMATH DE number 4158595 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 2150334 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3327279 (Why is no real title available?)
• scientific article; zbMATH DE number 7669420 (Why is no real title available?)
• Linear logic in a refutational setting
• Logics of rejection: Two systems of natural deduction
• Paraconsistency in classical logic
• Preface to the rejection special issue
• Refutation systems in modal logic
• Refutation systems: an overview and some applications to philosophical logics
• Sentential calculus for logical falsehoods
• Sequent calculi for propositional nonmonotonic logics
• The method of axiomatic rejection for the intuitionistic propositional logic
• Truth, falsehood and contingency in first order predicate calculus

This page was built for publication: A hypersequent calculus for classical contingencies

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