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