Pages that link to "Item:Q484102"
From MaRDI portal
The following pages link to Bilateralism in proof-theoretic semantics (Q484102):
Displaying 8 items.
- Anything goes (Q1708461) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- Logical multilateralism (Q6145030) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- A general schema for bilateral proof rules (Q6544534) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
- Bilateral inversion principles (Q6659909) (← links)
