scientific article; zbMATH DE number 2006632

zbMath1024.03066arXivmath/0006091MaRDI QIDQ4436028

Kosta Došen, Zoran Petrić

Publication date: 23 November 2003

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

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

zbMATH Keywords

categorial proof theoryconjunction and disjunctiondecidability of equality of deductions

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)

This page was built for publication: