The following pages link to (Q4807689):
Displaying 4 items.
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
