Unified semantics and proof system for classical, intuitionistic and affine logics (Q4635871)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Unified semantics and proof system for classical, intuitionistic and affine logics |
scientific article; zbMATH DE number 6863485
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9150106906890868
0 references
0.7781867384910583
0 references
0.7581803798675537
0 references
0.7372524738311768
0 references
