The following pages link to (Q2721200):
Displaying 11 items.
- Revisiting da Costa logic (Q301378) (← links)
- The semi Heyting-Brouwer logic (Q495844) (← links)
- Understanding negation implicationally in the relevant logic R (Q514515) (← links)
- LK, LJ, dual intuitionistic logic, and quantum logic (Q558432) (← links)
- Natural deduction for dual-intuitionistic logic (Q694491) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Dual intuitionistic logic and a variety of negations: the logic of scientific research (Q813087) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Natural deduction for bi-intuitionistic logic (Q1693596) (← links)
