Pages that link to "Item:Q3096823"
From MaRDI portal
The following pages link to PROOF-THEORETIC SEMANTIC VALUES FOR LOGICAL OPERATORS (Q3096823):
Displaying 10 items.
- Bilateralism in proof-theoretic semantics (Q484102) (← links)
- A proof-theoretic semantics for adjectival modification (Q683680) (← links)
- Proof-theoretic semantics for subsentential phrases (Q969428) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← 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)
- Semantics for conditional literals via the SM operator (Q2694573) (← links)
- (Q5365502) (← links)
- (Q5692799) (← links)