Pages that link to "Item:Q3584997"
From MaRDI portal
The following pages link to Proof-Theoretic Semantics for a Natural Language Fragment (Q3584997):
Displaying 17 items.
- A note on harmony (Q452347) (← links)
- Bilateralism in proof-theoretic semantics (Q484102) (← 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 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)
- Logics for Two Fragments beyond the Syllogistic Boundary (Q3586020) (← links)
- The Epistemology of Computer-Mediated Proofs (Q4972861) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- Truth-conditional cognitivism and the lexical problem (Q6652777) (← links)
- Proof-theoretic semantics for natural language (Q6652778) (← links)
