scientific article; zbMATH DE number 1471986

zbMATH Open0971.18001MaRDI QIDQ4489070

Kosta Došen

Publication date: 28 October 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coherencecut-eliminationjunctionadjunctiondecision procedurescommutativity of diagramsgeometric rewritingnormal form for arrow terms

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Cut-elimination and normal-form theorems (03F05) Foundations, relations to logic and deductive systems (18A15)

Related Items (3)

Cutting Out Continuations ⋮ Cut Elimination In Situ ⋮ Cut Admissibility by Saturation

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Methods of cut-elimination 👍 👎
• Algebraic aspects of cut elimination 👍 👎
• On the non-confluence of cut-elimination 👍 👎
• On cut elimination in the presence of perice rule 👍 👎
• Cut Elimination in the Presence of Axioms 👍 👎
• Multi-focused cut elimination 👍 👎
• Cut Elimination, Substitution and Normalisation 👍 👎
• Cut Elimination In Situ 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4489070)