Equational characterization of Nelson algebra
From MaRDI portal
Publication:2544609
DOI10.1305/ndjfl/1093893718zbMath0212.31901MaRDI QIDQ2544609
Publication date: 1969
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093893718
03G10: Logical aspects of lattices and related structures
Related Items
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, The categorical imperative: category theory as a foundation for deontic logic, Two axiomatizations of Nelson algebras., Constructive logic with strong negation is a substructural logic. I, Constructive logic with strong negation is a substructural logic. II, The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985