BCI-homomorphisms

Pole DC	Wartość	Język
dc.contributor.author	Ding, Yuzhong	-
dc.contributor.author	Ge, Fuguo	-
dc.contributor.author	Wu, Chenglong	-
dc.date.accessioned	2026-09-22T12:11:29Z	-
dc.date.available	2026-09-22T12:11:29Z	-
dc.date.issued	2008	-
dc.identifier.citation	Formalized Mathematics, Volume 16, Issue 4, 2008, Pages 371-376	pl
dc.identifier.issn	1426-2630	-
dc.identifier.uri	http://hdl.handle.net/11320/21090	-
dc.description.abstract	In this article the notion of the power of an element of BCI algebra and its period in the book [11], sections 1.4 to 1.5 are firstly given. Then the definition of BCI-homomorphism is defined and the fundamental theorem of homomorphism, the first isomorphism theorem and the second isomorphism theorem are proved following the book [9], section 1.6.	pl
dc.language.iso	en	pl
dc.publisher	University of Białystok	pl
dc.rights	Attribution-ShareAlike 4.0 International	pl
dc.rights.uri	https://creativecommons.org/licenses/by-sa/4.0/	-
dc.title	BCI-homomorphisms	pl
dc.type	Article	pl
dc.rights.holder	© 2009 Yuzhong Ding, Fuguo Ge, Chenglong Wu, published by University of Białystok	pl
dc.rights.holder	This work is licensed under the Creative Commons License.	pl
dc.identifier.doi	10.2478/v10037-008-0045-8	-
dc.description.Affiliation	Yuzhong Ding - Qingdao University of Science and Technology, China	pl
dc.description.Affiliation	Fuguo Ge - Qingdao University of Science and Technology, China	pl
dc.description.Affiliation	Chenglong Wu - Qingdao University of Science and Technology, China	pl
dc.description.references	Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.	pl
dc.description.references	Czesław Byliński. Binary operations. Formalized Mathematics, 1(1):175–180, 1990.	pl
dc.description.references	Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.	pl
dc.description.references	Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.	pl
dc.description.references	Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357–367, 1990.	pl
dc.description.references	Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.	pl
dc.description.references	Yuzhong Ding. Several classes of BCI-algebras and their properties. Formalized Mathematics, 15(1):1–9, 2007.	pl
dc.description.references	Yuzhong Ding and Zhiyong Pang. Congruences and quotient algebras of BCI-algebras. Formalized Mathematics, 15(4):175–180, 2007.	pl
dc.description.references	Yisheng Huang. BCI-algebras. Science Press, 2006.	pl
dc.description.references	Rafał Kwiatek and Grzegorz Zwara. The divisibility of integers and integer relative primes. Formalized Mathematics, 1(5):829–832, 1990.	pl
dc.description.references	Jie Meng and YoungLin Liu. An Introduction to BCI-algebras. Shaanxi Scientific and Technological Press, 2001.	pl
dc.description.references	Konrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. Formalized Mathematics, 1(3):441–444, 1990.	pl
dc.description.references	Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501–505, 1990.	pl
dc.description.references	Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.	pl
dc.description.references	Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990.	pl
dc.identifier.eissn	1898-9934	-
dc.description.volume	16	pl
dc.description.issue	4	pl
dc.description.firstpage	371	pl
dc.description.lastpage	376	pl
dc.identifier.citation2	Formalized Mathematics	pl
Występuje w kolekcji(ach):	Formalized Mathematics, 2008, Volume 16, Issue 4

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
BCI-homomorphisms.pdf		228,99 kB	Adobe PDF	Otwórz

Pokaż uproszczony widok rekordu Zobacz statystyki

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL