The following pages link to (Q5039104):
Displaying 8 items.
- An expressivist bilateral meaning-is-use analysis of classical propositional logic (Q302171) (← links)
- Bilateralism in proof-theoretic semantics (Q484102) (← links)
- Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) (Q1693600) (← links)
- Some comments on Ian Rumfitt's bilateralism (Q2410887) (← links)
- Logical multilateralism (Q6145030) (← links)
- Normalisation for Bilateral Classical Logic with some Philosophical Remarks, and a Note on it (Q6375103) (← links)
- A general schema for bilateral proof rules (Q6544534) (← links)
- Bilateral inversion principles (Q6659909) (← links)