A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras

DOI10.1093/JIGPAL/JZY006zbMATH Open1492.06001OpenAlexW2884696140MaRDI QIDQ5095644FDOQ5095644

Authors: Hernán Javier San Martín, Juan Manuel Cornejo 

Publication date: 10 August 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzy006

Recommendations

• A categorial equivalence for semi-Nelson algebras
• Categorical equivalence of some algebras
• Central extensions in semi-abelian categories
• Functor category dualities for varieties of Heyting algebras
• Equivalences of categories of algebras
• scientific article; zbMATH DE number 5510319
• On categorical equivalences of commutative BCK-algebras
• scientific article; zbMATH DE number 1284144
• ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS
• Universal central extensions in semi-abelian categories

zbMATH Keywords

dualitycongruencessemi-Heyting algebrassemi-Nelson algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Preorders, orders, domains and lattices (viewed as categories) (18B35) Heyting algebras (lattice-theoretic aspects) (06D20)

Cited In (4)

• A categorial equivalence for semi-Nelson algebras
• Nelson algebras through Heyting ones. I
• Dually hemimorphic semi-Nelson algebras
• Semi-Heyting algebras and identities of associative type

This page was built for publication: A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras

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