Pages that link to "Item:Q5250217"
From MaRDI portal
The following pages link to Proof-Theoretic Semantics and Feasibility (Q5250217):
Displaying 7 items.
- Advances in proof-theoretic semantics (Q495649) (← links)
- A proof-theoretic semantics for exclusion (Q1689564) (← links)
- Explicit provability and constructive semantics (Q2732527) (← links)
- Proof Theory, Semantics and Algebra for Normative Systems (Q2859108) (← links)
- (Q5149159) (← links)
- (Q5197384) (← links)
- (Q5554974) (← links)