Pages that link to "Item:Q969428"
From MaRDI portal
The following pages link to Proof-theoretic semantics for subsentential phrases (Q969428):
Displayed 15 items.
- A note on harmony (Q452347) (← links)
- A logic inspired by natural language: quantifiers as subnectors (Q484201) (← links)
- Constructive belief reports (Q514084) (← links)
- A proof-theoretic semantics for adjectival modification (Q683680) (← 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)
- A proof-theoretic universal property of determiners (Q893600) (← links)
- Proof-theoretic semantics for subsentential phrases (Q969428) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- On a distinction of two facets of meaning and its role in proof-theoretic semantics (Q2342803) (← links)
- RULES FOR SUBATOMIC DERIVATION (Q3094185) (← links)
- PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS (Q3096823) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)