Ternary and quaternary deductive terms for Nelson algebras

DOI10.1007/S00012-004-1852-6MaRDI QIDQ2583591zbMATH OpenOpenAlexFDO

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

equationally definable principal congruencesNelson algebrasuniversal algebraic logic

Mathematics Subject Classification ID

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

Cited in

(4)

• Constructive logic with strong negation is a substructural logic. II
• scientific article; zbMATH DE number 1354940 (Why is no real title available?)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Constructive logic with strong negation is a substructural logic. I

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)