Pages that link to "Item:Q969428"
From MaRDI portal
The following pages link to Proof-theoretic semantics for subsentential phrases (Q969428):
Displayed 6 items.
- A note on harmony (Q452347) (← links)
- A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions (Q692193) (← links)
- A generalized syllogistic inference system based on inclusion and exclusion relations (Q692203) (← links)
- Proof-theoretic semantics for subsentential phrases (Q969428) (← links)
- RULES FOR SUBATOMIC DERIVATION (Q3094185) (← links)
- PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS (Q3096823) (← links)