Cut elimination in categories
From MaRDI portal
Publication:1817695
zbMath0981.03068MaRDI QIDQ1817695
Publication date: 4 January 2000
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
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
