CUT FOR CLASSICAL CORE LOGIC (Q5259721)
From MaRDI portal
scientific article; zbMATH DE number 6451725
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CUT FOR CLASSICAL CORE LOGIC |
scientific article; zbMATH DE number 6451725 |
Statements
CUT FOR CLASSICAL CORE LOGIC (English)
0 references
29 June 2015
0 references
cut elimination
0 references
classical core logic
0 references
