Proof-theoretical coherence
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15)
Recommendations
Cited in
(33)- Coherence in linear predicate logic
- Gödel's natural deduction
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
- Coherence via focusing for symmetric skew monoidal categories
- Coherence for closed categories with biproducts
- A simple permutoassociahedron
- Coherence in SMCCs and equivalences on derivations in IMML with unit
- Categorical interpretation of logical derivations and its applications in algebra
- Coherence for star-autonomous categories
- Gödel on deduction
- Proof-theoretic harmony: towards an intensional account
- Generality of proofs and its Brauerian representation
- Intensional Equality in Categories With Structure and Coherence Problems
- scientific article; zbMATH DE number 125886 (Why is no real title available?)
- Ologisms
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
- A prologue to the theory of deduction
- Aspects of categorical recursion theory
- An Analytic Propositional Proof System on Graphs
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
- Prawitz, Proofs, and Meaning
- Inferential Semantics
- Coherence for modalities
- On the axiomatisation of Boolean categories with and without medial
- Associativity as commutativity
- Representing conjunctive deductions by disjunctive deductions
- The placeholder view of assumptions and the Curry-Howard correspondence
- Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
- Extending computational trinitarianism
- Algebra of proofs
- Categorical proof theory of classical propositional calculus
- Medial commutativity
- Equality of proofs for linear equality
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)
