Pages that link to "Item:Q1693600"

The following pages link to Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) (Q1693600):

Displaying 4 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)
• Bilateral inversion principles (Q6659909) (← links)