Ternary and quaternary deductive terms for Nelson algebras

DOI10.1007/S00012-004-1852-6zbMath1081.03066OpenAlexW2055680238MaRDI QIDQ2583591

Matthew Spinks

Publication date: 17 January 2006

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-004-1852-6

zbMATH Keywords

Nelson algebrasequationally definable principal congruencesuniversal algebraic logic

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25)

Related Items (3)

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ Constructive logic with strong negation is a substructural logic. II

This page was built for publication: Ternary and quaternary deductive terms for Nelson algebras