On the role of logical connectives for primality and functional completeness of algebras of logics

Information Sciences

Volumn 180, Issue 8, 2010, Pages 1345-1353

  Chajda, I ^a   Halas R ^a   Rosenberg, I G ^b  

^a PALACKÝ UNIVERSITY   (Czech Republic)

^b UdeM   (Canada)

Author keywords

Dual strict negation; Finite algebra; Functional completeness; Implication; Maximal clone; Primality

Indexed keywords

ALGEBRAIC SEMANTIC; BASIC OPERATION; BINARY OPERATIONS; CLONE THEORY; FINITE ALGEBRAS; IMPLICATIONAL LOGIC; LOGICAL CONNECTIVES; NEUTRAL ELEMENTS; PRIMALITY; STRICT NEGATION; UNARY OPERATION; UNIVERSAL ALGEBRA;

CLONING; FORMAL LOGIC;

ALGEBRA;

EID: 75449096943     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2009.12.015     Document Type: Article

References (28)

1. Baaz M. Infinite-valued Gödel logics with 0-1-projections and relativizations. In: Hájek P. (Ed). GÖDEL'96 - Logical Foundations of Mathematics, Comp. Sci. and Physics. Lecture Notes in Logic vol. 6 (1996), Springer-Verlag 23-33
2. Bělohlávek R. FUZZY LOGIC: Mathematical Tools for Approximate Reasoning (2001), Kluwer Acad. Publ., Dordrecht p. 288
3. Chajda I., Halaš R., and Kühr J. Semilattice Structures (2007), Heldermann Verlag, Lemgo p. 228
4. Chajda I., and Vychodil V. A note on residuated lattices with globalization. Int. J. Pure Appl. Math. 27 3 (2006) 299-303
5. Chajda I., and Halaš R. Functional completeness of weak logics with a strict negation. Multiple Valued Logic Soft Comput. 15 1 (2009) 55-59
6. Dubois D., and Prade H. Fundamentals of Fuzzy Sets (2000), Kluwer
7. Gottwald S. A Treatise on Many-Valued Logics (2000), Research Studies Press
8. Grätzer G. On Boolean functions (notes on lattice theory II). Revue de Math. Pures et Appl. 7 (1962) 693-697
9. Halaš R. Functional completeness of fuzzy structures with wvt-operators. Fuzzy Sets Syst. 159 (2008) 3078-3086
10. Jun Y.B., Xu Y., and Ma J. Redefined fuzzy implicative filters. Inform. Sci. 177 (2007) 1422-1429
11. Kaarli K., and Pixley A.F. Polynomial Completeness in Algebraic Systems (2000), Chapman & Hall, CRC, Boca Raton
12. D. Lau, Function algebras on finite sets. A basic course on many-valued logic and clone theory, Springer Monographs in Mathematics, 2006.
13. Liu L., and Li K. Fuzzy implicative and Boolean filters of R algebras. Inform. Sci. 171 (2005) 61-71
14. Liu Y.L., Xu Y., and Meng J. BCI-implicative ideals of BCI-algebras. Inform. Sci. 177 (2007) 4987-4996
15. Murskii{dotless}̌ V.L. The number of k-element algebras with a binary operation which do not have a finite base of identities. Problemy Kibernetiki 35 (1925) 5-21 (in Russian)
16. Ovchinnikov S.V. Representation of transitive fuzzy relations. In: Skala H.J., et al. (Ed). Aspect of Vagueness (1984), Reidel, Dordrecht, Paris
17. R. Pöschel, L.A. Kalužnin, Funktionen und Relationenalgebren, Berlin, 1979.
18. Post E.L. The two-valued iterative systems of mathematical logic. Ann. of Math. Studies vol. 5 (1941), Princeton Univ. Press
19. Post E.L. Introduction to the elementary theory of elementary propositions. Am. J. Math. 43 (1921) 163-185
20. R. Quackenbusch, A new proof of Rosenberg's primal algebra characterization theorem, Finite Algebras and Multiple-valued Logic, vol. 28, Colloq. Math. Soc. J. Bolyai, North Holland, pp. 603-634.
21. Rach̊unek J., and Šalounová D. Fuzzy filters and fuzzy prime filters of bounded Rl-monoids. Inform. Sci. 178 17 (2008) 3474-3481
22. Rosenberg I.G. La structure des fonctions de plesieurs variables sur un ensemble fini. C.R. Acad. Sci. Paris Sér. A-B 260 (1965) 3817-3819
23. Rosenberg I.G. Über die funktionale Vollständigkeit in dem mehrwertigen Logiken, Rozpravy Československé Akad. Věd. Ser. Math. Nat. Sci. 80 (1970) 3-93
24. Takeuti G., and Titani S. Globalization of intuitionistic set theory. Ann. Pure Appl. Logic 33 (1967) 195-211
25. Wang Z., and Fang J. On v-filters of a residuated lattice. Inform. Sci. 178 17 (2008) 3465-3473
26. Wang Y. TL-filters of integral residuated l-monoids. Inform. Sci. 177 (2007) 887-896
27. Werner H. Discriminator algebras. Studien zur Algebra und ihre Anwendungen, Band 6 (1978), Akademie-Verlag, Berlin
28. Yablonskii{dotless}̌ S.V. Functional constructions in the k-valued logic. Trudy Math. Inst. Steklov. 51 (1958) 5-142 (in Russian)