Cut elimination in categories

zbMath0981.03068MaRDI QIDQ1817695

Kosta Došen

Publication date: 4 January 2000

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

zbMATH Keywords

cut eliminationadjointnesscategorical proof theorycomonadcategories with structure

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15)

Related Items (19)

Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ Obituary: Kosta Došen (1954--2017) ⋮ Ordinals in Frobenius monads ⋮ G-dinaturality. ⋮ Proofs and surfaces ⋮ Simplicial Endomorphisms ⋮ Self-adjunctions and matrices. ⋮ Optional and Iterated Types for Pregroup Grammars ⋮ POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE ⋮ Equality of proofs for linear equality ⋮ Gödel's natural deduction ⋮ Identity of Proofs Based on Normalization and Generality ⋮ Coherence for modalities ⋮ REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS ⋮ What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics ⋮ Inferential Semantics ⋮ Coherence in linear predicate logic ⋮ Aspects of Categorical Recursion Theory ⋮ Symmetric Self-adjunctions and Matrices

This page was built for publication: Cut elimination in categories