Abstract interpretation of proofs: Classical propositional calculus

DOI10.1007/978-3-540-30124-0_2MaRDI QIDQ5311259zbMATH OpenOpenAlexFDO

Authors Martin Hyland

Publication date 22 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100120

zbMATH Keywords

category theoryclassical propositional calculusproof theory

Mathematics Subject Classification ID

Classical propositional logic (03B05) Structure of proofs (03F07) Categorical logic, topoi (03G30)

Recommendations

• Categorical proof theory of classical propositional calculus
• Abstractions of uniform proofs
• Abstract interpretation based semantics of sequent calculi
• Proof theory in the abstract
• scientific article; zbMATH DE number 3946122

Cited in

(8)

• Ordinals in Frobenius monads
• Propositional Interpolation and Abstract Interpretation
• Calculus of classical proofs. I
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• When Lawvere meets Peirce: an equational presentation of Boolean hyperdoctrines
• On Boolean hyperdoctrines and peircean bicategories
• Categorical proof theory of classical propositional calculus

Describes a project that uses

Uses Software

• HOPLA

This page was built for publication: Abstract interpretation of proofs: Classical propositional calculus

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