scientific article

zbMath0969.03071MaRDI QIDQ2707132

R. A. G. Seely, J. Robin B. Cockett

Publication date: 29 March 2001

Full work available at URL: https://eudml.org/doc/121223

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

zbMATH Keywords

categoriescategorical proof theorydeductive systemsfinite productsfinite coproducts

Mathematics Subject Classification ID

2-person games (91A05) Logic in computer science (03B70) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items (7)

The variable hierarchy for the games \(\mu \)-calculus ⋮ Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems ⋮ Proof theory of paraconsistent quantum logic ⋮ Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi ⋮ On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication ⋮ From Parity Games to Circular Proofs ⋮ A Local Graph-rewriting System for Deciding Equality in Sum-product Theories

This page was built for publication: