메뉴 건너뛰기




Volumn 50, Issue 3-4, 2003, Pages 259-277

Free algebras in varieties of BL-algebras generated by a chain

Author keywords

BL algebras; BL chains; Free algebras; Fuzzy logics; Many valued logics

Indexed keywords


EID: 2442717603     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00012-003-1835-z     Document Type: Article
Times cited : (7)

References (20)
  • 1
  • 2
    • 0038066866 scopus 로고    scopus 로고
    • Varieties of BL-algebras I: General properties
    • P. Aglianò and F. Montagna, Varieties of BL-algebras I: General Properties, J. Pure Appl. Algebra, 181 (2003), 129-131.
    • (2003) J. Pure Appl. Algebra , vol.181 , pp. 129-131
    • Aglianò, P.1    Montagna, F.2
  • 6
    • 0042980085 scopus 로고
    • Proper n-Valued łukasiewicz algebras as S-algebras of łukasiewicz n-Valued prepositional calculi
    • R. Cignoli, Proper n-Valued Łukasiewicz Algebras as S-algebras of Łukasiewicz n-Valued Prepositional Calculi, Stud. Log. 41 (1982), 3-16.
    • (1982) Stud. Log. , vol.41 , pp. 3-16
    • Cignoli, R.1
  • 7
    • 2442709850 scopus 로고    scopus 로고
    • Algebras of fuzzy logic
    • University of Buenos Aires
    • R. Cignoli, Algebras of Fuzzy Logic, Lecture Notes, University of Buenos Aires, 2000.
    • (2000) Lecture Notes
    • Cignoli, R.1
  • 9
    • 0002450084 scopus 로고    scopus 로고
    • An algebraic analysis of product logic
    • R. Cignoli and A. Torrens, An Algebraic Analysis of Product Logic, Mult. Valued Log. 5 (2000), 45-65.
    • (2000) Mult. Valued Log. , vol.5 , pp. 45-65
    • Cignoli, R.1    Torrens, A.2
  • 10
    • 0000817320 scopus 로고    scopus 로고
    • Basic logic is the logic of continuous t-norms and their residua
    • R. Cignoli, F. Esteva, L. Godo and A. Torrens, Basic Logic is the logic of continuous t-norms and their residua, Soft Computing 4 (2000), 106-112.
    • (2000) Soft Computing , vol.4 , pp. 106-112
    • Cignoli, R.1    Esteva, F.2    Godo, L.3    Torrens, A.4
  • 11
    • 0038540368 scopus 로고    scopus 로고
    • Hájek basic fuzzy logic and łukasiewicz infinite-valued logic
    • R. Cignoli and A. Torrens, Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic, Arch. Math. Logic, 42 (2003), 361-370.
    • (2003) Arch. Math. Logic , vol.42 , pp. 361-370
    • Cignoli, R.1    Torrens, A.2
  • 13
    • 84968468755 scopus 로고
    • Dualities for equational classes of Brouwerian algebras and heyting algebras
    • B. A. Davey, Dualities for Equational classes of Brouwerian algebras and Heyting algebras, Trans. Amer. Math. Soc. 221 (1976), 119-145.
    • (1976) Trans. Amer. Math. Soc. , vol.221 , pp. 119-145
    • Davey, B.A.1
  • 14
    • 0001826588 scopus 로고
    • A propositional calculus with denumerable matrix
    • M. Dummett, A propositional calculus with denumerable matrix, J. Symb. Log. 24 (1959), 97-106.
    • (1959) J. Symb. Log. , vol.24 , pp. 97-106
    • Dummett, M.1
  • 16
    • 0000673538 scopus 로고    scopus 로고
    • Basic fuzzy logic and BL-algebras
    • P. Hájek, Basic fuzzy logic and BL-algebras, Soft Computing 2 (1998), 124-128.
    • (1998) Soft Computing , vol.2 , pp. 124-128
    • Hájek, P.1
  • 17
    • 0000323648 scopus 로고
    • Logic with truth values in a linearly ordered Heyting algebra
    • A. Horn, Logic with truth values in a linearly ordered Heyting algebra, J. Symb. Log. 34 (1969), 395-408.
    • (1969) J. Symb. Log. , vol.34 , pp. 395-408
    • Horn, A.1
  • 18
    • 0142205490 scopus 로고    scopus 로고
    • A survey of Residuated Lattices
    • J. Martinez, Editor, Kluwer Academic Publishers, Dordrech
    • P. Jipsen and C. Tsinakis, A survey of Residuated Lattices. In: Ordered Algebraic Structures (J. Martinez, Editor), Kluwer Academic Publishers, Dordrech, 2002, pp. 19-56.
    • (2002) Ordered Algebraic Structures , pp. 19-56
    • Jipsen, P.1    Tsinakis, C.2
  • 19
    • 0011573169 scopus 로고
    • Linéarisation de la logique positive de Hilbert Bernays
    • A. Monteiro, Linéarisation de la logique positive de Hilbert Bernays, Revista Un. Mat. Argentina 20 (1962), 308-309.
    • (1962) Revista Un. Mat. Argentina , vol.20 , pp. 308-309
    • Monteiro, A.1
  • 20
    • 0012990453 scopus 로고
    • Wajsberg algebras and post algebras
    • A. J. Rodriguez and A. Torrens, Wajsberg Algebras and Post Algebras, Stud. Log. 53 (1994), 1-19.
    • (1994) Stud. Log. , vol.53 , pp. 1-19
    • Rodriguez, A.J.1    Torrens, A.2


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