Pages that link to "Item:Q2544609"
From MaRDI portal
The following pages link to Equational characterization of Nelson algebra (Q2544609):
Displayed 7 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Two axiomatizations of Nelson algebras. (Q491776) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras (Q1090350) (← links)
- Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985 (Q3755423) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)