{"title":"The relationship between EQ algebras and equality algebras","authors":"A. Paad","doi":"10.56415/qrs.v30.26","DOIUrl":null,"url":null,"abstract":"It is proved that every involutive equivalential equality algebra (E, ∧, ∼, 1), is an involutive residualted lattice EQ-algebra, which operation ⊗ is defined by x ⊗ y = (x → y 0 ) 0 . Moreover, it is showen that by an involutive residualted lattice EQ-algebra we have an involutive equivalential equality algebra","PeriodicalId":38681,"journal":{"name":"Quasigroups and Related Systems","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Quasigroups and Related Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.56415/qrs.v30.26","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Mathematics","Score":null,"Total":0}
引用次数: 0
Abstract
It is proved that every involutive equivalential equality algebra (E, ∧, ∼, 1), is an involutive residualted lattice EQ-algebra, which operation ⊗ is defined by x ⊗ y = (x → y 0 ) 0 . Moreover, it is showen that by an involutive residualted lattice EQ-algebra we have an involutive equivalential equality algebra