Cut elimination in categories
zbMATH Open0981.03068MaRDI QIDQ1817695FDOQ1817695
Authors: Kosta Došen
Publication date: 4 January 2000
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Recommendations
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)
Cited In (25)
- Algebra of proofs
- Obituary: Kosta Došen (1954--2017)
- Coherence for modalities
- G-dinaturality.
- Equality of proofs for linear equality
- Optional and Iterated Types for Pregroup Grammars
- Coherence in linear predicate logic
- 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
- Title not available (Why is that?)
- Ordinals in Frobenius monads
- 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)