Pages that link to "Item:Q4434506"
From MaRDI portal
The following pages link to A note on dual-intuitionistic logic (Q4434506):
Displaying 5 items.
- 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)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
