NDLI: Pseudo equality algebras

Content Provider	SpringerLink
Author	Kóródi, László Jenei, Sándor
Copyright Year	2013
Abstract	A new structure, called pseudo equality algebras, will be introduced. It has a constant and three connectives: a meet operation and two equivalences. A closure operator will be introduced in the class of pseudo equality algebras; we call the closed algebras equivalential. We show that equivalential pseudo equality algebras are term equivalent with pseudo BCK-meet-semilattices. As a by-product we obtain a general result, which is analogous to a result of Kabziński and Wroński: we provide an equational characterization for the equivalence operations of pseudo BCK-meet-semilattices. Our result treats a much more general algebraic structure, namely, pseudo BCK-meet-semilattice instead of Heyting algebras, on the other hand, we also need to use the meet operation. Finally, we prove that the variety of pseudo equality algebras is a subtractive, 1-regular, arithmetical variety.
Ending Page	481
Page Count	13
Starting Page	469
File Format	PDF
ISSN	09335846
e-ISSN	14320665
Journal	Archive for Mathematical Logic
Issue Number	5-6
Volume Number	52
Language	English
Publisher	Springer Berlin Heidelberg
Publisher Date	2013-02-28
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Equational logic, Mal'cev (Mal'tsev) conditions Residuated lattices Term equivalence Congruence modularity, congruence distributivity Mathematics Equivalential algebras Fuzzy algebraic structures Algebra Equational characterization BCK-algebras, BCI-algebras Heyting algebras BCK-meet-semilattices Equivalential fragment Mathematical Logic and Foundations
Content Type	Text
Resource Type	Article
Subject	Philosophy Logic

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Equality Algebras

On pseudo-equality algebras

On the congruence modularity conjecture

Congruence modularity implies cyclic terms for finite algebras

Few subpowers, congruence distributivity and near-unanimity terms

Congruence modularity at 0

Factor Congruence Lifting Property

All congruence lattice identities implying modularity have Mal’tsev conditions

Congruence Boolean Lifting Property

Pseudo equality algebras

Similar Documents

Equality Algebras

On pseudo-equality algebras

On the congruence modularity conjecture

Congruence modularity implies cyclic terms for finite algebras

Few subpowers, congruence distributivity and near-unanimity terms

Congruence modularity at 0

Factor Congruence Lifting Property

All congruence lattice identities implying modularity have Mal’tsev conditions

Congruence Boolean Lifting Property

Pseudo equality algebras