Opis

• Tytuł:
  Hilbert Algebras with Hilbert-Galois Connections II
• Twórca:
  Celani, Sergio A.;
  Montagie, Daniela
• Współtwórca:
  Celani, Sergio A. - Universidad Nacional del Centro and CONICET, Departamento de Matemática, Argentina;
  Montagie, Daniela - Instituto de Investigación en Tecnologías y Ciencias de la Ingeniería; Universidad Nacional del Comahue, Facultad de Economía y Administración, Departamento de Matemática, Argentina;
  Celani, Sergio A. - scelani@exa.unicen.edu.ar;
  Montagie, Daniela - dmontang@gmail.com
• Opis:
  Hilbert algebra with a Hilbert-Galois connection, or HilGC-algebra, is a triple \(\left(A,ƒ,g\right)\) where \(A\) is a Hilbert algebra, and \(f\) and \(g\) are unary maps on \(A\) such that \(f(a)\leq b\) iff \(a\leq g(b)\), and \(g(a\rightarrow b)\leq g(a)\rightarrow g(b)\) forall \(a,b\in A\). In this paper, we are going to prove that some varieties of HilGC-algebras are characterized by first-order conditions defined in the dual space and that these varieties are canonical. Additionally, we will also study and characterize the congruences of an HilGC-algebra through specific closed subsets of the dual space. This characterization will be applied to determine the simple algebras and subdirectly irreducible HilGC-algebras.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2025.02.05;
  2024.12.09
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;4;
  53
• Temat i słowa kluczowe:
  Hilbert algebra;
  modal operators;
  Galois connection;
  canonical varieties;
  congruences
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/54527 ;
  2449-836X;
  10.18778/0138-0680.2024.17
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy