Description

• Title:
  Open Filters and Congruence Relations on Self-Distributive Weak Heyting Algebras
• Creator:
  Nourany, Mohsen;
  Ghorbani, Shokoofeh;
  Borumand Saeid, Arsham
• Contributor:
  Nourany, Mohsen - Shahid Bahonar University of Kerman, Department of Pure Mathematics, Faculty of Mathematics and Computer Science, Kerman, Iran;
  Ghorbani, Shokoofeh - Shahid Bahonar University of Kerman, Department of Pure Mathematics, Faculty of Mathematics and Computer Science, Kerman, Iran;
  Borumand Saeid, Arsham - Shahid Bahonar University of Kerman, Department of Pure Mathematics, Faculty of Mathematics and Computer Science, Kerman, Iran;
  Nourany, Mohsen - nourany@gmail.com;
  Ghorbani, Shokoofeh - sh.ghorbani@uk.ac.ir;
  Borumand Saeid, Arsham - arsham@uk.ac.ir
• Description:
  In this paper, we study (open) filters and deductive systems of self-distributive weak Heyting algebras (SDWH-algebras) and obtain some results which determine the relationship between them. We show that the variety of SDWH-algebras is not weakly regular and every open filter is the kernel of at least one congruence relation. Finally, we characterize those SDWH-algebras which are weakly regular by using some properties involving principal congruence relations.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2025.02.05;
  2024.06.21
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;4;
  53
• Subject:
  SDWH-algebra;
  open filter;
  deductive system;
  congruence kernel;
  weakly regular
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/54523 ;
  2449-836X;
  10.18778/0138-0680.2024.13
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  image