Pages that link to "Item:Q584239"
From MaRDI portal
The following pages link to Subformula semantics for strong negation systems (Q584239):
Displaying 4 items.
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Tableaux for logic programming with strong negation (Q4610313) (← links)
- Why Paraconsistent Logics? (Q5213768) (← links)
- Strong Negation and Equivalence in the Safe Belief Semantics (Q5431610) (← links)