Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Foundations, relations to logic and deductive systems (18A15) Research exposition (monographs, survey articles) pertaining to category theory (18-02)
Recommendations
Cited in
(25)- Algebra of proofs
- Coherence for modalities
- Obituary: Kosta Došen (1954--2017)
- G-dinaturality.
- Equality of proofs for linear equality
- Coherence in linear predicate logic
- Optional and Iterated Types for Pregroup Grammars
- Coherence in SMCCs and equivalences on derivations in IMML with unit
- Don't eliminate cut
- Self-adjunctions and matrices.
- Proofs and surfaces
- Categorical semantics of linear logic
- Inferential Semantics
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics
- Identity of Proofs Based on Normalization and Generality
- Cut Elimination In Situ
- Gödel's natural deduction
- Representing conjunctive deductions by disjunctive deductions
- Ordinals in Frobenius monads
- scientific article; zbMATH DE number 1823879 (Why is no real title available?)
- Simplicial Endomorphisms
- Cutting Out Continuations
- Symmetric self-adjunctions and matrices
- Polymorphism and the obstinate circularity of second order logic: a victims' tale
- Aspects of categorical recursion theory
This page was built for publication: Cut elimination in categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1817695)
