Proof-theoretical coherence

zbMATH Open1153.03003MaRDI QIDQ3376920FDOQ3376920

Authors: Kosta Došen, Zoran Petrić 

Publication date: 27 March 2006

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

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)

Cited In (31)

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

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)