Proof-theoretical coherence

MaRDI QIDQ3376920zbMATH OpenFDO

Authors Kosta Došen, Zoran Petrić

Publication date 27 March 2006

zbMATH Keywords

coherencecategorical logicBoolean categorycategorical semantics of classical logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Categorical proof theory of classical propositional calculus
• Algebra of proofs
• Coherence in Cartesian closed categories and the generality of proofs
• Natural deduction and coherence for weakly distributive categories
• scientific article; zbMATH DE number 1373514

Cited in

(31)

• Intensional Equality in Categories With Structure and Coherence Problems
• Coherence in linear predicate logic
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• Coherence for star-autonomous categories
• The placeholder view of assumptions and the Curry-Howard correspondence
• A prologue to the theory of deduction
• Coherence for closed categories with biproducts
• A simple permutoassociahedron
• An Analytic Propositional Proof System on Graphs
• On the axiomatisation of Boolean categories with and without medial
• Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
• Inferential Semantics
• Algebra of proofs
• Ologisms
• Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
• Medial commutativity
• Coherence in SMCCs and equivalences on derivations in IMML with unit
• Categorical proof theory of classical propositional calculus
• Associativity as commutativity
• Gödel on deduction
• Equality of proofs for linear equality
• Prawitz, Proofs, and Meaning
• Proof-theoretic harmony: towards an intensional account
• Categorical interpretation of logical derivations and its applications in algebra
• Generality of proofs and its Brauerian representation
• Aspects of categorical recursion theory
• Gödel's natural deduction
• Coherence for modalities
• Coherence via focusing for symmetric skew monoidal categories
• Representing conjunctive deductions by disjunctive deductions
• scientific article; zbMATH DE number 125886 (Why is no real title available?)

This page was built for publication: Proof-theoretical coherence

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