scientific article

DOI<137::AID-MALQ137>3.0.CO;2-F 10.1002/1521-3870(200101)47:1<137::AID-MALQ137>3.0.CO;2-FzbMath0978.18001arXivmath/9911059MaRDI QIDQ2707078

Kosta Došen, Zoran Petrić

Publication date: 28 March 2001

Full work available at URL: https://arxiv.org/abs/math/9911059

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

zbMATH Keywords

coherence theoremCartesian categoryequations between arrowsfree Cartesian categoryuniqueness in normal form

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Preorders, orders, domains and lattices (viewed as categories) (18B35) Categorical structures (18D99) Foundations, relations to logic and deductive systems (18A15)

Related Items (6)

Generality of proofs and its Brauerian representation ⋮ Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics ⋮ Identity of Proofs Based on Normalization and Generality ⋮ REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS ⋮ Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions

This page was built for publication: