A categorial equivalence for semi-Nelson algebras
From MaRDI portal
Publication:2100454
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
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