Equational characterization of Nelson algebra

DOI10.1305/ndjfl/1093893718zbMath0212.31901OpenAlexW2057901465MaRDI QIDQ2544609

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)

Related Items (7)

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

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