Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics (Q4635871)
From MaRDI portal
scientific article; zbMATH DE number 6863485
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics |
scientific article; zbMATH DE number 6863485 |
Statements
Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics (English)
0 references
23 April 2018
0 references
classical logic
0 references
delimited continuations
0 references
focusing
0 references
lambda-mu-calculus
0 references
linear logic
0 references
phase semantics
0 references
proof theory
0 references
