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 条
  • [11] Expansions of Semi-Heyting Algebras I: Discriminator Varieties
    H. P. Sankappanavar
    Studia Logica, 2011, 98 : 27 - 81
  • [12] Expansions of Semi-Heyting Algebras I: Discriminator Varieties
    Sankappanavar, H. P.
    STUDIA LOGICA, 2011, 98 (1-2) : 27 - 81
  • [13] A note on chain-based semi-Heyting algebras
    Cornejo, Juan Manuel
    Monteiro, Luiz F.
    Sankappanavar, Hanamantagouda P.
    Viglizzo, Ignacio D.
    MATHEMATICAL LOGIC QUARTERLY, 2020, 66 (04) : 409 - 417
  • [14] A NOTE ON REGULAR DE MORGAN SEMI-HEYTING ALGEBRAS
    Sankappanavar, Hanamantagouda P.
    DEMONSTRATIO MATHEMATICA, 2016, 49 (03) : 252 - 265
  • [15] Almost Semi Heyting Algebras
    Rao, G. C.
    Ratnamani, M. V.
    Shum, K. P.
    SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2018, 42 (01) : 95 - 110
  • [16] A Categorical Equivalence for Tense Nelson Algebras
    Aldo V. Figallo
    Jonathan Sermento
    Gustavo Pelaitay
    Studia Logica, 2022, 110 : 241 - 263
  • [17] A Categorical Equivalence for Tense Nelson Algebras
    Figallo, Aldo V.
    Sermento, Jonathan
    Pelaitay, Gustavo
    STUDIA LOGICA, 2022, 110 (01) : 241 - 263
  • [18] Dually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
    Sankappanavar, Hanamantagouda P.
    CATEGORIES AND GENERAL ALGEBRAIC STRUCTURES WITH APPLICATIONS, 2014, 2 (01) : 44 - 61
  • [19] THE VARIETY OF SEMI-HEYTING ALGEBRAS SATISFYING THE EQUATION (0 → 1)* V (0 → 1)** ≈ 1
    Abad, Manuel
    Manuel Cornejo, Juan
    Diaz Varela, Jose Patricio
    REPORTS ON MATHEMATICAL LOGIC, 2011, 46 : 75 - 90
  • [20] The variety generated by semi-Heyting chains
    M. Abad
    J. M. Cornejo
    J. P. Díaz Varela
    Soft Computing, 2010, 15 : 721 - 728
12345