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

DOI10.1093/jigpal/jzy006zbMath1492.06001OpenAlexW2884696140MaRDI QIDQ5095644

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

zbMATH Keywords

dualitycongruencessemi-Heyting algebrassemi-Nelson algebras

Mathematics Subject Classification ID

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

Related Items (2)

Semi-Heyting Algebras and Identities of Associative Type ⋮ A categorial equivalence for semi-Nelson algebras

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