Elementary-base cirquent calculus II: Choice quantifiers (Q5014061)
From MaRDI portal
scientific article; zbMATH DE number 7438995
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Elementary-base cirquent calculus II: Choice quantifiers |
scientific article; zbMATH DE number 7438995 |
Statements
Elementary-base cirquent calculus II: Choice quantifiers (English)
0 references
3 December 2021
0 references
proof theory
0 references
cirquent calculus
0 references
resource semantics
0 references
deep inference
0 references
computability logic
0 references
