{"title":"EQ代数与等式代数的关系","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":"{\"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}","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
摘要
证明了每一个对合等价等式代数(E,∧,~,1)都是对合剩余格EQ代数,其运算由x定义→ y 0)0。此外,还证明了通过对合剩余格EQ代数,我们有一个对合等价等式代数
The relationship between EQ algebras and equality algebras
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