Pages that link to "Item:Q5739971"
From MaRDI portal
The following pages link to Views of proof-theoretic semantics: reified proof-theoretic meanings (Q5739971):
Displaying 12 items.
- A logic inspired by natural language: quantifiers as subnectors (Q484201) (← links)
- On harmony and permuting conversions (Q518743) (← links)
- A proof-theoretic semantics for adjectival modification (Q683680) (← links)
- A proof-theoretic universal property of determiners (Q893600) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Steps towards a proof-theoretical semantics (Q2339008) (← links)
- Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning (Q2339009) (← links)
- On a distinction of two facets of meaning and its role in proof-theoretic semantics (Q2342803) (← links)
- Does the Implication Elimination Rule Need a Minor Premise? (Q3121971) (← links)
- SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS (Q3499800) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- Proof-theoretic semantics for natural language (Q6652778) (← links)