Iséki algebras. Connection with BL algebras

Soft Computing

Volumn 8, Issue 7, 2004, Pages 449-463

  Iorgulescu, A ^a  

^a BUCHAREST UNIVERSITY OF ECONOMIC STUDIES   (Romania)

Author keywords

BCK algebra; BL algebra; G del algebra; Is ki algebra; MV algebra; Product algebra; T conorm; T norm

Indexed keywords

EID: 15744373074     PISSN: 14327643     EISSN: 14337479     Source Type: Journal    
DOI: 10.1007/s00500-003-0304-0     Document Type: Article

References (52)

1. Andersen M, Feil T (1988) Lattice-Ordered Groups - An Introduction. D. Reidel Publishing Company
2. Birkhoff G (1967) Lattice Theory, 3rd edn. American Mathematical Society, Providence
3. Boicescu V, Filipoiu A, Georgescu G, Rudeanu S (1991) Lukasiewicz-Moisil algebras, Annals Discrete Math 49
4. Bucur I (1965) Algebra omologicǎ, Editura Didacticǎ si Pedagogicǎ, (Romanian)
5. Burris S, Sankappanavar HP (1981) A Course in Universal Algebra. Springer-Verlag, New York
6. Chang CC (1958) Algebraic analysis of many valued logics. Trans Amer Math Soc 88: 467-490
7. Cignoli R, D'Ottaviano IML, Mundici D (2000) Algebraic foundations of many-valued reasoning. Vol. 7, Kluwer
8. Cignoli R, Esteva F, Godo L, Torrens A Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing, (to appear)
9. Cignoli R, Torrens A (1997) An algebraic analysis of product logic, Centre de Recerce Matematica, Preprint No. 363, Barcelona
10. Cornish WH (1980) Lattice-ordered groups and BCK-algebras. Math Japonica 25(4): 471-476
11. Cornish WH (1982) BCK-algebras with a supremum. Math Japonica, 27(1): 63-73
12. Di Nola A, Georgescu G, Iorgulescu A (2002) Pseudo-BL algebras: Part I, Mult Val Logic 8(5-6): 673-714
13. Di Nola A, Georgescu G, Iorgulescu A (2002) Pseudo-BL algebras: Part II, Mult Val Logic 8(5-6): 717-750
14. Dvurečenskij A (2002) Pseudo MV-algebras are intervals in 1-groups. J Austral Math Soc 70
15. Dvurečenskij A, Graziano MG (1999) On Representations of Commutative BCK-algebras. Demonstratio Math 32: 227-246
16. Dvurečenskij A, Pulmannová S (2000) New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht
17. Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124(3): 271-288
18. Flondor P, Georgescu G, Iorgulescu A (2001) Pseudo-t-norms and pseudo-BL algebras. Soft Computing 5(5): 355-371
19. Font JM, Rodriguez AJ, Torrens A (1984) Wajsberg algebras. Stochastica VIII(1): 5-31
20. Georgescu G, Iorgulescu A (1999) Pseudo-MV Algebras: a Noncommutative Extension of MV Algebras. The Proceedings of the Fourth International Symposium on Economic Informatics, Bucharest, Romania, pp. 961-968
21. Georgescu G, Iorgulescu A (2001) Pseudo-MV algebras. Mult Val Logic 6(1-2): 95-135
22. Georgescu G, Iorgulescu A (2000) Pseudo-BL algebras: A noncommutative extension of BL algebras. Abstracts of the Fifth International Conference FSTA 2000, Slovakia: 90-92
23. Georgescu G, Iorgulescu A (2001) Pseudo-BCK algebras: An extension of BCK algebras. Proceedings of DMTCS'01: Combinatorics, Computability and Logic, Springer, London: 97-114
24. Gottwald S (1984) T-Normen und φ-Operatoren als Wahrheitswertfunktionen mehrwertiger Junktoren. In: Wechsung G (ed) Frege Conference 1984, Proc Intern Conf Schwerin, Math Research, Vol. 20, Berlin (Akademie-Verlag): 121-128
25. Gottwald S (1986) Fuzzy set theory with t-norms and φoperators. In: Di Nola A, Ventre AGS (eds) The Mathematics of Fuzzy Systems, Interdisciplinary Systems Res, Vol. 88, Köln (TÜV Rheinland): 143-195
26. Gottwald S (1993) Fuzzy Sets and Fuzzy Logic, Braunschweig, Wiesbaden, Vieweg
27. Gottwald S (2001) A Treatise on Many-Valued Logics. Studies in Logic and Computation, Vol. 9, Research Studies Press: Baldock, Hertfordshire, England
28. Grigolia R (1977) Algebraic analysis of Lukasiewicz-Tarski's n-valued logical systems. In: Wójcicki R, Malinowski G (eds) Selected Papers on Lukasiewicz Sentential Calculi, Polish Acad of Sciences, Ossolineum, Wroclaw: 81-92
29. Grzaślewicz A (1980) On some problem on BCK-algebras. Math Japonica 25(4): 497-500
30. Hájek P (1996) Metamathematics of fuzzy logic. Inst of Comp Science, Academy of Science of Czech Rep., Technical report 682
31. Hájek P (1998) Metamathematics of fuzzy logic. Kluwer Academic Publishers, Dordrecht
32. Hájek P (1998) Basic fuzzy logic and BL-algebras. Soft Computing 2: 124-128
33. Hájek P, Godo L, Esteva F (1996) A complete many-valued logic with product-conjunction. Arch Math Logic 35:191-208
34. Höhle U (1995) Commutative, residuated 1-monoids. In: Höhle U, Klement EP (eds) Non-Classical Logics and Their Applications to Fuzzy Subsets. Kluwer Academic Publishers, Dordrecht: 53-106
35. Imai Y, Iséki K (1966) On axiom systems of prepositional calculi XIV. Proc Japan Academy 42: 19-22
36. n algebras and n-valued Lukasiewicz-Moisil algebras-I, Discrete Math 181(1-3): 155-177
37. n algebras and n-valued Lukasiewicz-Moisil algebras-II. Discrete Math 202: 113-134
38. n algebras and n-valued Lukasiewicz-Moisil algebras-III, Discrete Math (submitted)
39. n algebras and n-valued Lukasiewicz-Moisil algebras-IV. J Universal Computer Sci 6(1): 139-154
40. Iorgulescu A Pseudo-Iséki algebras. Connection with pseudoBL algebras. Mult Val Logic (submitted)
41. Iorgulescu A (2003) Some direct ascendents of Wajsberg and MV algebras. Sciential Matematical Japonical (SCMJ) 57(3): 583-647
42. Iséki K (1979) BCK-Algebras with condition (S). Math Japonica 24(1): 107-119
43. Iséki K, Tanaka S (1978) An introduction to the theory of BCK-algebras. Math Japonica 23(1): 1-26
44. Moisil GC (1972) Essais sur les logiques non-chryssippiennes, Bucarest
45. Mundici D (1986) MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math Japonica 31(6): 889-894
46. Mundici D (1986) Interpretation of AF C*-algebras in Lukasiewicz sentential calculus. J Funct Anal 65: 15-63
47. Prior AN (1962) Formal logic, 2nd edn. Oxford
48. Romanowska A, Traczyk T (1980) On commutative BCK-algebras. Math Japonica 25(5): 567-583
49. Traczyk T (1979) On the variety of bounded commutative BCK-algebras. Math Japonica 24(3): 283-292
50. Turunen E (1999) BL-algebras of Basic Fuzzy Logic. Mathware and Soft Computing 6: 49-61
51. Wajsberg M (1935) Beiträge zum Mataaussagenkalkül. Monat Math Phys 42: 240
52. Wronski A (1985) An algebraic motivation for BCK-algebras. Math Japonica 30(2): 187-193