On categorical models of classical logic and the Geometry of Interaction (Q5430139)
From MaRDI portal
scientific article; zbMATH DE number 5219785
Language | Label | Description | Also known as |
---|---|---|---|
English | On categorical models of classical logic and the Geometry of Interaction |
scientific article; zbMATH DE number 5219785 |
Statements
On categorical models of classical logic and the Geometry of Interaction (English)
0 references
12 December 2007
0 references
Boolean lattices
0 references
classical sequent calculus
0 references
multiplicative linear logic
0 references
proof net
0 references
symmetric linearly distributive category
0 references
Dummett category
0 references
classical category
0 references