Material dialogues for first-order logic in constructive type theory (Q6160754)
From MaRDI portal
scientific article; zbMATH DE number 7691333
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Material dialogues for first-order logic in constructive type theory |
scientific article; zbMATH DE number 7691333 |
Statements
Material dialogues for first-order logic in constructive type theory (English)
0 references
2 June 2023
0 references
dialogue games
0 references
game semantics
0 references
first-order logic
0 references
constructive type theory
0 references
