The following pages link to (Q2721200):
Displaying 16 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)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- Information Quanta and Approximation Operators: Once More Around the Track (Q3600306) (← links)
