A categorial equivalence for semi-Nelson algebras

DOI10.1007/s00500-021-06198-yzbMath1498.06022arXiv2007.14459OpenAlexW3199012738MaRDI QIDQ2100454

Andrés Gallardo, Juan Manuel Cornejo, Ignacio Darío Viglizzo

Publication date: 22 November 2022

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.14459

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Cites Work

• Nelson algebras through Heyting ones. I
• Expansions of semi-Heyting algebras. I: Discriminator varieties
• Heyting algebras with dual pseudocomplementation
• Some investigations of varieties of \({\mathcal N}\)-lattices
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Semi-Heyting algebras term-equivalent to Gödel algebras
• Semi-Nelson algebras
• Dually hemimorphic semi-Nelson algebras
• A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras
• Lattices With Involution
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A categorial equivalence for semi-Nelson algebras