ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS (Q5259724)
From MaRDI portal
scientific article; zbMATH DE number 6451728
Language | Label | Description | Also known as |
---|---|---|---|
English | ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS |
scientific article; zbMATH DE number 6451728 |
Statements
ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS (English)
0 references
29 June 2015
0 references
proof-theoretic semantics
0 references
canonical derivation
0 references
open assumptions
0 references
0 references