Pages that link to "Item:Q813089"
From MaRDI portal
The following pages link to Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089):
Displaying 9 items.
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Subminimal logics in light of Vakarelov's logic (Q831220) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Subminimal negation (Q1699743) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- A study of algebraic structures and logics based on categories of rough sets (Q6535069) (← links)
