Complementary proof nets for classical logic

DOI10.1007/s11787-023-00337-9MaRDI QIDQ6146288

Achille C. Varzi, Gabriele Pulcini

Publication date: 10 January 2024

Published in: Logica Universalis (Search for Journal in Brave)

zbMATH Keywords

cut eliminationproof netsclassical logicrefutation systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Fractional-Valued Modal Logic and Soft Bilateralism

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• A minimal classical sequent calculus free of structural rules
• Lectures on the Curry-Howard isomorphism
• A formal system for the non-theorems of the propositional calculus
• The structure of multiplicatives
• Gentzen-type systems, resolution and tableaux
• Refutation systems in modal logic
• Untersuchungen über das logische Schliessen. I
• On refutation rules
• Canonical proof nets for classical logic
• Paraconsistency in classical logic
• Normal proofs, cut free derivations and structural rules
• Proofs without syntax
• FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC
• What Is the Problem with Proof Nets for Classical Logic?
• Proof Nets for Classical Logic
• OUP accepted manuscript
• Expansion Nets: Proof-Nets for Propositional Classical Logic

This page was built for publication: Complementary proof nets for classical logic