Ternary and quaternary deductive terms for Nelson algebras

DOI10.1007/S00012-004-1852-6zbMATH Open1081.03066OpenAlexW2055680238MaRDI QIDQ2583591FDOQ2583591

Authors: 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

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

Cited In (4)

• Title not available (Why is that?)
• Constructive logic with strong negation is a substructural logic. I
• 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: Ternary and quaternary deductive terms for Nelson algebras

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