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):
Displayed 6 items.
- Single-assumption systems in proof-theoretic semantics (Q2079705) (← links)
- Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
- Logical multilateralism (Q6145030) (← links)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) (Q6200460) (← links)
- Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) (Q6200466) (← links)
- Bilateral Rules as Complex Rules (Q6200469) (← links)