PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS (Q3096823)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS |
scientific article |
Statements
PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS (English)
0 references
14 November 2011
0 references
proof-theoretic semantics
0 references
semantic value
0 references
sentential meaning
0 references
type-logical grammar
0 references
semantic types
0 references
