The following pages link to (Q5197384):
Displaying 14 items.
- Advances in proof-theoretic semantics (Q495649) (← links)
- Hyperintensional propositions (Q514082) (← links)
- A proof-theoretic semantics for adjectival modification (Q683680) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- A proof-theoretic semantics for exclusion (Q1689564) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- Explicit provability and constructive semantics (Q2732527) (← links)
- Semantic investigation of canonical Gödel hypersequent systems (Q2804332) (← links)
- Extensional Logic of Hyperintensions (Q3224007) (← links)
- (Q3335778) (← links)
- (Q3970572) (← links)
- (Q4599215) (← links)
- (Q5149159) (← links)
- Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618) (← links)