Description

• Title:
  Hilbert Algebras with Hilbert-Galois Connections II
• Creator:
  Celani, Sergio A.;
  Montagie, Daniela
• Contributor:
  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
• Description:
  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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2025.02.05;
  2024.12.09
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;4;
  53
• Subject:
  Hilbert algebra;
  modal operators;
  Galois connection;
  canonical varieties;
  congruences
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/54527 ;
  2449-836X;
  10.18778/0138-0680.2024.17
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  image