Pages that link to "Item:Q4497600"
From MaRDI portal
The following pages link to Is Even Minimal Negation Constructive? (Q4497600):
Displayed 4 items.
- Subminimal negation on the Australian plan (Q2079709) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different (Q2259008) (← links)
- Inversion Principles and Introduction Rules (Q5213611) (← links)