메뉴 건너뛰기
Formalized Mathematics
Volumn 15, Issue 1, 2007, Pages 1-9
Several classes of BCI-algebras and their properties
Author keywords

[No Author keywords available]
Indexed keywords

EID: 78149234605     PISSN: 14262630     EISSN: 18989934     Source Type: Journal    
DOI: 10.2478/v10037-007-0001-z     Document Type: Article
Times cited : (7)
References (14)
  • 1
    • 14244269517 scopus 로고
    • Group and field definitions
    • Józef Białas. Group and field definitions. Formalized Mathematics, 1(3):433-439, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.3 , pp. 433-439
    • Białas, J.1
  • 2
    • 77954587115 scopus 로고
    • Binary operations
    • Czesław Byliński. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 175-180
    • Byliński, C.1
  • 3
    • 14244269735 scopus 로고
    • Functions and their basic properties
    • Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 55-65
    • Byliński, C.1
  • 4
    • 0013134253 scopus 로고
    • Some basic properties of sets
    • Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 47-53
    • Byliński, C.1
  • 5
    • 0040535840 scopus 로고
    • Abelian groups, fields and vector spaces
    • Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.2 , pp. 335-342
    • Kusak, E.1    Leończuk, W.2    Muzalewski, M.3
  • 7
    • 84879646121 scopus 로고
    • Midpoint algebras
    • Michał Muzalewski. Midpoint algebras. Formalized Mathematics, 1(3):483-488, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.3 , pp. 483-488
    • Muzalewski, M.1
  • 8
    • 0039943002 scopus 로고
    • Construction of rings and left-, right-, and bi-modules over a ring
    • Michał Muzalewski. Construction of rings and left-, right-, and bi-modules over a ring. Formalized Mathematics, 2(1):3-11, 1991.
    • (1991) Formalized Mathematics , vol.2 , Issue.1 , pp. 3-11
    • Muzalewski, M.1
  • 10
    • 0013141956 scopus 로고
    • Tarski Grothendieck set theory
    • Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 9-11
    • Trybulec, A.1
  • 11
  • 12
    • 0347473187 scopus 로고
    • Trybulec. Vectors in real linear space
    • Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.2 , pp. 291-296
    • Wojciech, A.1
  • 13
    • 67651028261 scopus 로고
    • Properties of subsets
    • Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 67-71
    • Trybulec, Z.1
  • 14
    • 14244266134 scopus 로고
    • Relations and their basic properties
    • Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990.
    • (1990) Formalized Mathematics , vol.1 , Issue.1 , pp. 73-83
    • Woronowicz, E.1

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.