Quasi-Nelson Algebras
Under a Creative Commons license
open access
Keywords
Nelson logic
quasi-Nelson algebra
quasi-Nelson residuated lattice
semi-De Morgan algebra
non-involutive twist-structure
Nelson identity
Cited by (0)
- 1
The first author would like to thank Fei Liang for several preliminary discussions on the topic of this paper; in particular Fei provided part of the proof of Proposition 2.4 (x).
© 2019 The Author(s). Published by Elsevier B.V.