W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21407| Tytuł: | Congruences and Quotient Algebras of BCI-algebras |
| Autorzy: | Ding, Yuzhong Pang, Zhiyong |
| Data wydania: | 2007 |
| Data dodania: | 3-lis-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 15, Issue 4, Pages 175-180 |
| Abstrakt: | We have formalized the BCI-algebras closely following the book [7] pp. 16-19 and pp. 58-65. Firstly, the article focuses on the properties of the element and then the definition and properties of congruences and quotient algebras are given. Quotient algebras are the basic tools for exploring the structures of BCI-algebras. |
| Afiliacja: | Yuzhong Ding - Qingdao University of Science and Technology, China Zhiyong Pang - Qingdao University of Science and Technology, China |
| URI: | http://hdl.handle.net/11320/21407 |
| DOI: | 10.2478/v10037-007-0021-8 |
| ISSN: | 1426-2630 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2008 Yuzhong Ding, Zhiyong Pang, published by University of Białystok This work is licensed under the Creative Commons License. |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2007, Volume 15, Issue 4 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Congruences_and_Quotient_Algebras_of_BCI-algebras.pdf | 135,94 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
