Prelinear Hilbert algebras

被引:2
|
作者
Jose Luis, Castiglioni [1 ,2 ]
Sergio A, Celani [3 ]
Hernan J, San Martin [1 ,2 ]
机构
[1] Fac Ciencias Exactas UNLP, Dept Matemat, Casilla Correos 172, RA-1900 La Plata, Argentina
[2] Consejo Nacl Invest Cient & Tecn, Casilla Correos 172, RA-1900 La Plata, Argentina
[3] Consejo Nacl Invest Cient & Tecn, Dept Matemat, Fac Ciencias Exactas UNCPBA, Pinto 399, RA-7000 Tandil, Argentina
关键词
IMPLICATIVE SEMILATTICE EXTENSION; REPRESENTATION; SPACES;
D O I
10.1016/j.fss.2019.08.008
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Godel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear Hilbert algebras. We apply this result in order to study possible descriptions of the coproduct of two finite algebras in the algebraic category of prelinear Hilbert algebras. (C) 2019 Elsevier B.V. All rights reserved.
引用
收藏
页码:84 / 106
页数:23
相关论文
共 50 条
  • [1] On prelinear Hilbert algebras with successor
    Luis Castiglioni, Jose
    San Martin, Hernan J.
    FUZZY SETS AND SYSTEMS, 2020, 397 : 107 - 122
  • [2] Dualities for Bounded Prelinear Hilbert Algebras
    San Martin, Hernan J.
    Sigal, Valeria A.
    LOGIC JOURNAL OF THE IGPL, 2022, 30 (03) : 409 - 421
  • [3] Prelinear Algebras in Relatively Regular Quasivarieties
    C. J. van Alten
    Order, 2013, 30 : 573 - 583
  • [4] Prelinear Algebras in Relatively Regular Quasivarieties
    van Alten, C. J.
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2013, 30 (02): : 573 - 583
  • [5] Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
    Aguzzoli, Stefano
    Flaminio, Tommaso
    Ugolini, Sara
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (08) : 2525 - 2549
  • [6] Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
    Noguera, C
    Esteva, F
    Gispert, J
    ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (07) : 869 - 886
  • [7] Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
    Carles Noguera
    Francesc Esteva
    Joan Gispert
    Archive for Mathematical Logic, 2005, 44 : 869 - 886
  • [8] Hilbert Algebras with Hilbert–Galois Connections
    Sergio A. Celani
    Daniela Montangie
    Studia Logica, 2023, 111 : 113 - 138
  • [9] HILBERT ALGEBRAS IN A NON-CLASSICAL FRAMEWORK: HILBERT ALGEBRAS WITH APARTNESS
    Romano, Daniel A.
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2020, 7 (03): : 337 - 359
  • [10] Hilbert algebras in a non-classical framework: Hilbert algebras With apartness
    Romano, Daniel A.
    Journal of Applied Logics, 2020, 7 (03): : 337 - 359