Pseudo-iséki algebras. Connection with pseudo-BL algebras

Journal of Multiple-Valued Logic and Soft Computing

Volumn 11, Issue 3-4, 2005, Pages 263-308

  Iorgulescu, Afrodita ^a  

^a BUCHAREST UNIVERSITY OF ECONOMIC STUDIES   (Romania)

Author keywords

Pseudo BCK algebra; Pseudo BL algebra; Pseudo Iseki algebra; Pseudo MV algebra; Pseudo product algebra; Pseudo t conorm; Pseudo t norm

Indexed keywords

CONFORMAL MAPPING; FINITE ELEMENT METHOD; INTEGRATION; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SET THEORY; THEOREM PROVING;

NONCOMMUTATIVE GENERALIZATIONS; PARTIAL-ORDERED SETS; PSEUDO-BL ALGEBRAS;

ALGEBRA;

EID: 22444442990     PISSN: 15423980     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (32)

1. Andersen, M. and Feil, T. (1988). Lattice-Ordered Groups - An Introduction -, D. Reidel Publishing Company.
2. Birkhoff, G. (1967). Lattice Theory, 3rd ed., American Mathematical Society, Providence.
3. Ceterchi, R. (1999). On algebras with implications, categorically equivalent to pseudo-MV algebras. The Proceedings of the Fourth International Symposium on Economic Informatics, Bucharest, Romania. May, 912-916.
4. Ceterchi, R. (2001). Pseudo-Wajsberg algebras. Mult. Val. Logic (A special issue dedicated to the memory of Gr. C. Moisil), 6(1-2), 67-88.
5. Chang, C.C. (1958). Algebraic analysis of many valued logics. Trans. Amer. Math. Soc., 88, 467-490.
6. Cignoli, R., D'Ottaviano, I.M.L. and Mundici, D. (2000). Algebraic Foundations of many-valued Reasoning, Kluwer, 7.
7. Cornish, W.H. (1982). BCK-algebras with a supremum. Math. Japonica, 27(1), 63-73.
8. Di Nola, A., Georgescu, G. and Iorgulescu, A. (2002). Pseudo-BL algebras: Part I. Mult. Val. Logic, 8(5-6), 673-714.
9. Di Nola, A., Georgescu, G. and Iorgulescu, A. (2002). Pseudo-BL algebras: Part II. Mult. Val. Logic, 8(5-6), 717-750.
10. Dvurečenskij, A. (2002). Pseudo MV-algebras are intervals in l-groups. J. Austral. Math. Soc, 70, to appear.
11. Dvurečenskij, A. and Pulmannová, S. (2000). New Trends in Quantum Structures, Kluwer Acad. Publ., Dordrecht, Ister Science, Bratislava.
12. Esteva, F. and Godo, L. (2001). Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems, 124(3), 271-288.
13. Flondor, P., Georgescu, G. and Iorgulescu, A. (2001). Pseudo-t-norms and pseudo-BL algebras. Soft Computing, 5(5), 355-371.
14. Font, J.M., Rodriguez, A.J. and Torrens, A. (1984). Wajsberg algebras. Stochastica, 8(1), 5-31.
15. Georgescu, G. and Iorgulescu, A. (1999). Pseudo-MV Algebras: a Noncommutative Extension of MV Algebras. The Proceedings of the Fourth International Symposium on Economic Informatics, Bucharest, Romania, May, 961-968.
16. Georgescu, G. and Iorgulescu, A. (2001). Pseudo-MV algebras. Mult. Val. Logic, 6, Nr. 1-2, 95-135.
17. Georgescu, G. and Iorgulescu, A. (2000). Pseudo-BL algebras: A noncommutative extension of BL algebras. Abstracts of The Fifth International Conference FST A 2000, Slovakia, February, 90-92.
18. Georgescu, G. and Iorgulescu, A. (2001). Pseudo-BCK algebras: An extension of BCK algebras. Proceedings of DMTCS'01: Combinatorics, Computability and Logic. Springer, London, 97-114.
19. Gottwald, S. (2001). A Treatise on Many-Valued Logics. Studies in Logic and Computation, 9, Research Studies Press: Baldock, Hertfordshire, England.
20. Grzaślewicz, A. (1980). On some problem on BCK-algebras. Math. Japonica, 25(4), 497-500.
21. Hájek, P. (1996). Metamathematics of fuzzy logic. Inst. of Comp. Science, Academy of Science of Czech Rep., Technical report, 682.
22. Hájek, P. (1998). Metamathematics of fuzzy logic. Kluwer Acad. Publ., Dordrecht.
23. Hájek, P. (1998). Basic fuzzy logic and BL-algebras. Soft computing, 2, 124-128.
24. Imai, Y. and Iséki K. (1966). On axiom systems of propositional calculi XIV, Proc. Japan Academy, 42, 19-22.
25. Iorgulescu, A. (2004). Iséki algebras. Connection with BL algebras. Soft Computing, 8(7), 449-463.
26. Iséki, K. (1979). BCK-Algebras with condition (S). Math. Japonica, 24(1), 107-119.
27. Iséki, K. and Tanaka, S. (1978). An introduction to the theory of BCK-algebras. Math. Japonica, 25(1), 1-26.
28. Mundici, D. (1986). MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math. Japonica, 31(6), 889-894.
29. Mundici, D. (1986). Interpretation of AF C-algebras in Lukasiewicz sentential calculus. J. Fund. Anal., 65, 15-63.
30. Turunen, E. (1999). BL-algebras of Basic Fuzzy Logic. Mathware and Soft Computing, 6, 49-61.
31. Wajsberg, M. (1935). Beiträge zum Mataaussagenkalkül. Monat. Math. Phys., 42, 240.
32. Wronski, A. (1985). An algebraic motivation for BCK-algebras. Math. Japonica, 30(2), 187-193.