메뉴 건너뛰기




Volumn 53, Issue 2, 2007, Pages 206-213

Bounded BCK-algebras and their generated variety

Author keywords

Bounded BCK algebras; Bounded commutative integral residuated lattices; Free algebras; Pocrims; Semisimple algebras; Simple algebras

Indexed keywords


EID: 34247219086     PISSN: 09425616     EISSN: 15213870     Source Type: Journal    
DOI: 10.1002/malq.200610040     Document Type: Article
Times cited : (13)

References (21)
  • 2
    • 0003074893 scopus 로고
    • On the quasivariety of BCK-algebras and its subvarieties
    • W. Blok and J. G. Raftery, On the quasivariety of BCK-algebras and its subvarieties. Algebra Universalis 33, 68 - 90 (1995).
    • (1995) Algebra Universalis , vol.33 , pp. 68-90
    • Blok, W.1    Raftery, J.G.2
  • 3
    • 0031569723 scopus 로고    scopus 로고
    • Varieties of commutative residuated integral pomonoids and their residuaton subreducts
    • W. Blok and J. G. Raftery, Varieties of commutative residuated integral pomonoids and their residuaton subreducts. J. Algebra 190, 280-328 (1997).
    • (1997) J. Algebra , vol.190 , pp. 280-328
    • Blok, W.1    Raftery, J.G.2
  • 4
    • 0036998038 scopus 로고    scopus 로고
    • The finite embeddability property for residuated lattices, pocrims and BCK-algebras
    • W. Blok and C. J. van Alten, The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Algebra Universalis 48, 253 - 271 (2002).
    • (2002) Algebra Universalis , vol.48 , pp. 253-271
    • Blok, W.1    van Alten, C.J.2
  • 5
    • 34247192910 scopus 로고    scopus 로고
    • S. Burris and H. P. Sankappanavar, A Course in Universal Algebra. Graduate Texts in Mathematics 78 (Springer-Verlag, 1981).
    • S. Burris and H. P. Sankappanavar, A Course in Universal Algebra. Graduate Texts in Mathematics 78 (Springer-Verlag, 1981).
  • 6
    • 26044440724 scopus 로고    scopus 로고
    • Glivenko like theorems in natural expansions of BCK-logic
    • R. Cignoli and A. Torrens, Glivenko like theorems in natural expansions of BCK-logic. Math. Logic Quarterly 50, 111-125 (2004).
    • (2004) Math. Logic Quarterly , vol.50 , pp. 111-125
    • Cignoli, R.1    Torrens, A.2
  • 7
    • 26044448742 scopus 로고    scopus 로고
    • Axiomatic extensions of the nilpotent minimum logic
    • 113, 123
    • J. Gispert, Axiomatic extensions of the nilpotent minimum logic. Reports on Mathematical Logic 37, 113 - 123 (2003).
    • (2003) Reports on Mathematical Logic , vol.37
    • Gispert, J.1
  • 8
    • 0012942607 scopus 로고
    • Predicate and set-theoretical calculi based on logic without contractions
    • V. N. Grišin, Predicate and set-theoretical calculi based on logic without contractions. Math. USSR Izvestija 18, 41 - 59 (1982).
    • (1982) Math. USSR Izvestija , vol.18 , pp. 41-59
    • Grišin, V.N.1
  • 9
    • 34247229518 scopus 로고
    • 0-algebras by means of identities
    • 0-algebras by means of identities. Mathematical Notes 38, 861 - 867 (1985).
    • (1985) Mathematical Notes , vol.38 , pp. 861-867
    • Grišin, V.N.1
  • 10
    • 0003013265 scopus 로고
    • Dually residuated commutative monoids with identity element as least elements do not form an equational class
    • D. Higgs, Dually residuated commutative monoids with identity element as least elements do not form an equational class. Math. Japonica 29, 69 - 74 (1984).
    • (1984) Math. Japonica , vol.29 , pp. 69-74
    • Higgs, D.1
  • 11
    • 0001243605 scopus 로고
    • Lattice operations in BCK-algebras
    • P. M. Idziak, Lattice operations in BCK-algebras. Math. Japonica 29, 839 - 846 (1984).
    • (1984) Math. Japonica , vol.29 , pp. 839-846
    • Idziak, P.M.1
  • 12
    • 0000984431 scopus 로고
    • An algebra related with a propositional calculus
    • K. Iseki, An algebra related with a propositional calculus. Proc. Japan Academy 42, 26 - 29 (1966).
    • (1966) Proc. Japan Academy , vol.42 , pp. 26-29
    • Iseki, K.1
  • 14
    • 0002665895 scopus 로고
    • An introduction to the theory of BCK-algebras
    • K. Iseki and S. Tanaka, An introduction to the theory of BCK-algebras. Math. Japonica 23, 1 - 26 (1978).
    • (1978) Math. Japonica , vol.23 , pp. 1-26
    • Iseki, K.1    Tanaka, S.2
  • 15
    • 0001984558 scopus 로고
    • Logics without the contraction rule
    • Y. Komori and H. Ono, Logics without the contraction rule. J. Symbolic Logic 50, 169 - 202 (1985).
    • (1985) J. Symbolic Logic , vol.50 , pp. 169-202
    • Komori, Y.1    Ono, H.2
  • 16
    • 0013374657 scopus 로고    scopus 로고
    • The variety of residuated lattices is generated by its finite simple members
    • 59, 77
    • T. Kowalski and H. Ono, The variety of residuated lattices is generated by its finite simple members. Reports on Mathematical Logic 34, 59 - 77 (2000).
    • (2000) Reports on Mathematical Logic , vol.34
    • Kowalski, T.1    Ono, H.2
  • 17
    • 34247213750 scopus 로고    scopus 로고
    • lattices: An algebraic glimpse at logics without contraction. Monograph
    • T. Kowalski and H. Ono, Residuated lattices: An algebraic glimpse at logics without contraction. Monograph (2002).
    • (2002) Residuated
    • Kowalski, T.1    Ono, H.2
  • 18
    • 34247210574 scopus 로고
    • Doctoral dissertation, Jagiellonian University, Krakow
    • P. S. Krzysteck, O algebrach Pre-Boole'owskich. Doctoral dissertation, Jagiellonian University, Krakow, 1983.
    • (1983) O algebrach Pre-Boole'owskich
    • Krzysteck, P.S.1
  • 19
    • 0000699110 scopus 로고
    • On ideal and congruence lattices of BCK-algebras
    • M. Pałasiński, On ideal and congruence lattices of BCK-algebras. Math. Japonica 26, 543 - 544 (1981).
    • (1981) Math. Japonica , vol.26 , pp. 543-544
    • Pałasiński, M.1
  • 20
    • 0002012003 scopus 로고
    • BCK algebras do not form a variety
    • A. Wroński, BCK algebras do not form a variety. Math. Japonica 28, 211-213 (1983).
    • (1983) Math. Japonica , vol.28 , pp. 211-213
    • Wroński, A.1
  • 21
    • 0009150913 scopus 로고
    • Reflections and distensions of BCK algebras
    • A. Wroński, Reflections and distensions of BCK algebras. Math. Japonica 28, 215 - 225 (1983).
    • (1983) Math. Japonica , vol.28 , pp. 215-225
    • Wroński, A.1


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