Publication:2707132
From MaRDI portal
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
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
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