Pages that link to "Item:Q931408"
From MaRDI portal
The following pages link to Constructive logic with strong negation is a substructural logic. I (Q931408):
Displaying 5 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- A note on contraction-free logic for validity (Q1708464) (← links)
- Nelson algebras, residuated lattices and rough sets: A survey (Q6497089) (← links)
