Constructive Game Logic (Q5041088)
From MaRDI portal
scientific article; zbMATH DE number 7600926
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive Game Logic |
scientific article; zbMATH DE number 7600926 |
Statements
Constructive Game Logic (English)
0 references
13 October 2022
0 references
game logic
0 references
constructive logic
0 references
natural deduction
0 references
proof terms
0 references
