REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2007, Volume 15, Issue 4

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/21407
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorDing, Yuzhong-
    dc.contributor.authorPang, Zhiyong-
    dc.date.accessioned2026-11-03T11:29:25Z-
    dc.date.available2026-11-03T11:29:25Z-
    dc.date.issued2007-
    dc.identifier.citationFormalized Mathematics, Volume 15, Issue 4, Pages 175-180pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21407-
    dc.description.abstractWe 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.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsCC BY-SA 4.0-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleCongruences and Quotient Algebras of BCI-algebraspl
    dc.typeArticlepl
    dc.rights.holder© 2008 Yuzhong Ding, Zhiyong Pang, published by University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.identifier.doi10.2478/v10037-007-0021-8-
    dc.description.AffiliationYuzhong Ding - Qingdao University of Science and Technology, Chinapl
    dc.description.AffiliationZhiyong Pang - Qingdao University of Science and Technology, Chinapl
    dc.description.referencesGrzegorz Bancerek. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.pl
    dc.description.referencesCzesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.pl
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.pl
    dc.description.referencesCzesław Byliński. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.pl
    dc.description.referencesCzesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.pl
    dc.description.referencesYuzhong Ding. Several classes of BCI-algebras and their properties. Formalized Mathematics, 15(1):1-9, 2007.pl
    dc.description.referencesYisheng Huang. BCI-algebras. Science Press, 2006.pl
    dc.description.referencesLibrary Committee of the Association of Mizar Users. Binary operations on numbers. To appear in Formalized Mathematics.pl
    dc.description.referencesKonrad Raczkowski and Paweł Sadowski. Equivalence relations and classes of abstraction. Formalized Mathematics, 1(3):441-444, 1990.pl
    dc.description.referencesAndrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.pl
    dc.description.referencesEdmund Woronowicz and Anna Zalewska. Properties of binary relations. Formalized Mathematics, 1(1):85-89, 1990.pl
    dc.description.volume15pl
    dc.description.issue4pl
    dc.description.firstpage175pl
    dc.description.lastpage180pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2007, Volume 15, Issue 4

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Congruences_and_Quotient_Algebras_of_BCI-algebras.pdf135,94 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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