The following pages link to Inferential Semantics (Q5213609):
Displaying 9 items.
- A generalization of inquisitive semantics (Q312497) (← links)
- Inferentializing semantics (Q975776) (← links)
- Interpretation and inference with maximal referential terms (Q980945) (← links)
- Gödel's natural deduction (Q1744008) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Composition of deductions within the propositions-as-types paradigm (Q2228351) (← links)
- Inference and epistemic transparency (Q2288273) (← links)
- (Q3220558) (← links)
- (Q4797641) (← links)