Equational characterization of Nelson algebra

DOI10.1305/NDJFL/1093893718MaRDI QIDQ2544609zbMATH OpenOpenAlexFDO

Authors D. Brignole

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

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10)

Cited in

(8)

• Two axiomatizations of Nelson algebras.
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• The categorical imperative: category theory as a foundation for deontic logic
• Constructive logic with strong negation is a substructural logic. I
• Nelson algebras, residuated lattices and rough sets: A survey
• Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
• Constructive logic with strong negation is a substructural logic. II
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication: Equational characterization of Nelson algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2544609)