Dually hemimorphic semi-Nelson algebras-Reference-Cited by-同舟云学术

Dually hemimorphic semi-Nelson algebras

Published:2019-11-15 Issue:3 Volume:28 Page:316-340
ISSN:1367-0751
Container-title:Logic Journal of the IGPL
language:en
Short-container-title:

Author:

Cornejo Juan Manuel¹,San MartÍn HernÁn Javier²

Affiliation:

1. Departamento de Matemática, Universidad Nacional del Sur and Instituto de Matemática de Bahía Blanca (INMABB) - Consejo Nacional de Investigaciones Científicas y Técnicas, Av. Leandro N. Alem No1253 - 2o Piso, Bahía Blanca 8000, Argentina

2. Departamento de Matemática, Facultad de Ciencias Exactas and Consejo Nacional de Investigaciones Científicas y Técnicas, Casilla de correos 172, La Plata 1900, Argentina

Abstract

Abstract Extending the relation between semi-Heyting algebras and semi-Nelson algebras to dually hemimorphic semi-Heyting algebras, we introduce and study the variety of dually hemimorphic semi-Nelson algebras and some of its subvarieties. In particular, we prove that the category of dually hemimorphic semi-Heyting algebras is equivalent to the category of dually hemimorphic centered semi-Nelson algebras. We also study the lattice of congruences of a dually hemimorphic semi-Nelson algebra through some of its deductive systems.

Funder

Consejo Nacional de Investigaciones Científicas y Técnicas

Publisher

Oxford University Press (OUP)

Subject

Logic

Link

http://academic.oup.com/jigpal/article-pdf/28/3/316/33330584/jzz030.pdf

Reference25 articles.

1. The variety generated by semi-Heyting chains;Abad;Soft Computing,2010

2. The variety of semi-Heyting algebras satisfying the equation${\left (0\to 1\right )}^{\dagger }\vee{\left (0\to 1\right )}^{\dagger \dagger } =1$;Abad;Reports on Mathematical Logic,2011

3. Free-decomposability in varieties of semi-Heyting algebras;Abad;Mathematical Logic Quarterly,2012

4. Semi-Heyting algebras term-equivalent to Gödel algebras;Abad;Order,2013

5. Gentzen-style sequent calculus for semi-intuitionistic logic;Castaño;Studia Logica,2016

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Very True Operators on Pre-semi-Nelson Algebras;Studia Logica;2024-05-03

2. A categorial equivalence for semi-Nelson algebras;Soft Computing;2021-09-13