Functional completeness of bounded structures of fuzzy logic with wvt-operators

Fuzzy Sets and Systems

Volumn 159, Issue 22, 2008, Pages 3078-3086

  Halaš, Radomír ^a  

^a PALACKÝ UNIVERSITY   (Czech Republic)

Author keywords

Functionally complete algebra; Primal algebra; Residuated monoid; wvt operator

Indexed keywords

FUNCTIONALLY COMPLETE ALGEBRA; MONOIDS; PRIMAL ALGEBRA; RESIDUATED MONOID; WVT-OPERATOR;

FUZZY LOGIC;

EID: 51249096936     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2008.01.024     Document Type: Article

References (25)

1. M. Baaz, Infinite-valued Gödel logics with 0-1-projections and relativizations, in: P. Hájek (Ed.), GÖDEL'96-Logical Foundations of Mathematics, Computer Science and Physics, in: Lecture Notes in Logic, Vol. 6, Springer, Berlin, 1996, 23-33.
2. R. Bělohlávek, V. Vychodil, Reducing the size of fuzzy concepts by hedges, IEEE International Conference on Fuzzy Systems, 2003, pp. 663-668.
3. Blok W., and Raftery J.G. Varieties of commutative residuated integral pomonoids and their residuation subreducts. J. Algebra 190 (1997) 280-328
4. Chajda I., Eigenthaler G., and Länger H. Congruence Classes in Universal Algebra (2003), Heldermann Verlag, Lemgo
5. I. Chajda, R. Halaš, Functional completeness of weak logics with a strict negation, Multiple Valued Logic and Soft Comp., to appear.
6. I. Chajda, R. Halaš, I.G. Rosenberg, Primal and functionally complete algebras of weak logics, submitted for publication.
7. Chajda I., and Vychodil V. A note on residuated lattices with globalization. Internat. J. Pure Appl. Math. 27 3 (2006) 299-303
8. Cintula P. Weakly implicative logics I: Basic Propoerties. Arch. Math. Logic 45 6 (2006) 673-704
9. Fleischer I. Every BCK-algebra is a set of residuables in an integral pomonoid. J. Algebra 119 (1988) 360-365
10. Ganter B., and Wille R. Formal Concept Analysis. Mathematical Foundations (1999), Springer, Berlin
11. Gottwald S. A Treatise on Many-Valued Logics (2000), Research Studies Press
12. Grätzer G. On Boolean functions (Notes on lattice theory II). Rev. Math. Pures et Appl. 7 (1962) 693-697
13. Hájek P. On very true. Fuzzy Sets and Systems 124 (2001) 329-333
14. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer, Dordrecht
15. Higgs D. Dually residuated commutative monoids with identity element do not form an equational class. Math. Japon. 27 (1984) 69-75
16. Iséki K. An algebra related to a propositional calculus. Proc. Japan Acad. 42 (1966) 26-29
17. Jipsen P., and Tsinakis C. A survey of residuated lattices. In: Martinez J. (Ed). Ordered Algebraic Structures (2002), Kluwer Academic Publisher, Dordrecht 19-56
18. Kaarli K., and Pixley A.F. Polynomial Completeness in Algebraic Systems (2000), Chapman & Hall, CRC, Boca Raton
19. Meredith C.A., and Prior A.N. Notes on the axiomatics of the propositional calculus. Notre Dame J. Formal Logic IV (1963) 171-187
20. Ono H., and Komori Y. Logics without the contraction rule. J. Symbolic Logic 50 (1985) 169-201
21. Rachůnek J., and Šalounová D. Truth values on generalizations of some commutative fuzzy structures. Fuzzy Sets and Systems 157 (2006) 3159-3168
22. Rosenberg I.G. Über die funktionale Vollständigkeit in den mehrwertingen Logiken. Rozpravy Československé Akad. Věd Ser. Math. Nat. Sci. 80 (1970) 3-93
23. Ward M., and Dilworth R.P. Residuated lattices. Trans. Amer. Math. Soc. 45 (1939) 335-354
24. Werner H. Discriminator algebras, Studien zur Algebra und ihre Anwendungen, Band 6 (1978), Akademie-Verlag, Berlin
25. Zadeh L. Fuzzy logic and approximate reasoning. Synthese 30 (1975) 407-428