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

被引：5
|
作者：
Manuel Cornejo, Juan [1 ,2 ]
Javier San Martin, Hernan [3 ,4 ]
机构：
[1] Univ Nacl Sur, Dept Matemat, Av Leandro N Alem 1253 2 Piso, RA-8000 Bahia Blanca, Buenos Aires, Argentina
[2] Consejo Nacl Invest Cient & Tecn, Av Leandro N Alem 1253 2 Piso, RA-8000 Bahia Blanca, Buenos Aires, Argentina
[3] UNLP, Fac Ciencias Exactas, Dept Matemat, Casilla Correos 172, RA-1900 La Plata, Argentina
[4] Consejo Nacl Invest Cient & Tecn, Casilla Correos 172, RA-1900 La Plata, Argentina
来源：
LOGIC JOURNAL OF THE IGPL | 2018年 / 26卷 / 04期
关键词：
Semi-Heyting algebras; semi-Nelson algebras; duality; congruences; LOGIC;
D O I：
10.1093/jigpal/jzy006
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
Motivated by a construction due to R. Cignoli that relates Heyting algebras and centered Nelson algebras, in this paper we prove that there exists an equivalence between the category of semi-Heyting algebras and the category of centered semi-Nelson algebras.
引用
收藏
页码：408 / 428
页数：21
相关论文
共 50 条
  • [1] A categorial equivalence for semi-Nelson algebras
    Cornejo, Juan Manuel
    Gallardo, Andres
    Viglizzo, Ignacio
    SOFT COMPUTING, 2021, 25 (22) : 13813 - 13821
  • [2] A categorial equivalence for semi-Nelson algebras
    Juan Manuel Cornejo
    Andrés Gallardo
    Ignacio Viglizzo
    Soft Computing, 2021, 25 : 13813 - 13821
  • [3] Semi-Nelson Algebras
    Juan Manuel Cornejo
    Ignacio Viglizzo
    Order, 2018, 35 : 23 - 45
  • [4] Semi-Nelson Algebras
    Manuel Cornejo, Juan
    Viglizzo, Ignacio
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2018, 35 (01): : 23 - 45
  • [5] Localization of semi-Heyting algebras
    Figallo, Aldo V.
    Pelaitay, Gustavo
    ANNALS OF THE UNIVERSITY OF CRAIOVA-MATHEMATICS AND COMPUTER SCIENCE SERIES, 2016, 43 (02): : 210 - 217
  • [6] On Monadic Semi-Nelson Algebras
    Ghorbani, Shokoofeh
    Journal of Applied Logics, 2024, 11 (05): : 625 - 643
  • [7] Semi-Heyting Algebras Term-equivalent to Godel Algebras
    Abad, Manuel
    Manuel Cornejo, Juan
    Diaz Varela, Jose Patricio
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2013, 30 (02): : 625 - 642
  • [8] Dually hemimorphic semi-Nelson algebras
    Manuel Cornejo, Juan
    Javier San Martin, HernAn
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (03) : 316 - 340
  • [9] Free-decomposability in varieties of semi-Heyting algebras
    Abad, Manuel
    Manuel Cornejo, Juan
    Diaz Varela, Patricio
    MATHEMATICAL LOGIC QUARTERLY, 2012, 58 (03) : 168 - 176
  • [10] Semi-Heyting Algebras Term-equivalent to Gödel Algebras
    Manuel Abad
    Juan Manuel Cornejo
    José Patricio Díaz Varela
    Order, 2013, 30 : 625 - 642
12345