Pages that link to "Item:Q1693600"
From MaRDI portal
The following pages link to Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) (Q1693600):
Displaying 7 items.
- An expressivist bilateral meaning-is-use analysis of classical propositional logic (Q302171) (← links)
- Bilateralism in proof-theoretic semantics (Q484102) (← links)
- Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Bilateralism, trilateralism, multilateralism and poly-sequents (Q2421519) (← links)
- Logical multilateralism (Q6145030) (← links)
- Bilateral inversion principles (Q6659909) (← links)