The following pages link to (Q4807689):
Displaying 3 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)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)