Algebraic models of deviant modal operators based on de Morgan and Kleene lattices

Information Sciences

Volumn 181, Issue 19, 2011, Pages 4075-4100

  Cattaneo, G ^a   Ciucci, D ^a   Dubois, D ^b  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

^b IRIT   (France)

Author keywords

Algebraic semantic of modal logic; Brouwer Zadeh lattices; Fuzzy sets and orthopairs models; Heyting Wajsberg algebras; Kleene lattices

Indexed keywords

ALGEBRAIC MODELS; APPROXIMATION SPACES; BROUWER ZADEH LATTICES; DE MORGAN; DISTRIBUTIVITY; HEYTING-WAJSBERG ALGEBRAS; KLEENE LATTICES; MODAL LOGIC; MODAL OPERATORS;

FUZZY LOGIC; FUZZY SET THEORY; FUZZY SETS; KNOWLEDGE REPRESENTATION; SEMANTICS;

BOOLEAN ALGEBRA;

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

References (100)

1. M. Baaz Infinite-valued Gödel logics with 0-1 projections and relativizations P. Hájek, GÖDEL96 - Logical Foundations of Mathematics Computer Science and Physics, Lecture Notes in Logic vol. 6 1996 Springer-Verlag Berlin 23 33
2. M. Banerjee, and M. Chakraborty Rough algebra Bulletin of the Polish Academy of Sciences - Mathematics 41 1993 193 297
3. M. Banerjee, and M. Chakraborty Rough sets through algebraic logic Fundamenta Informaticae 28 1996 211 221 (Pubitemid 126715043)
4. D. Becchio Sur les definitions des algebres trivalentes de Łukasiewicz donnees par A Monteiro. Logique et Analyse 16 1973 339 344
5. A. Bialynicki-Birula Remarks on quasi-Boolean algebras Bulletin de l'Académie Polonaise des Sciences, Classe III 5 1957 615 619
6. A. Bialynicki-Birula, and H. Rasiowa On the representation of quasi-Boolean algebras Bulletin de l'Académie Polonaise des Sciences, Classe III 5 1957 259 261
7. G. Birkhoff, Lattice Theory, American Mathematical Society Colloquium Publication, third ed., vol. XXV, American Mathematical Society, Providence, Rhode Island, 1967 (first ed., 1940, second (revisited) ed., 1948).
8. G. Birkhoff, and J. von Neumann The logic of quantum mechanics Annals of Mathematics 37 1936 823 843
9. Z. Bonikowski A certain conception of the calculus of rough sets Notre Dame journal of Formal Logic 33 1992 412 421
10. L. Borowski Selected Works of J. Łukasiewicz 1970 North-Holland Amsterdam
11. G. Cattaneo Brouwer-Zadeh posets for unsharp quantum mechanics International Journal of Theoretical Physics 31 1992 1573 1597
12. G. Cattaneo Fuzzy quantum logic II: the logics of unsharp quantum mechanics International Journal of Theoretical Physics 32 1993 1709 1734
13. G. Cattaneo Generalized rough sets (preclusivity fuzzy-intuitionistic BZ lattices) Studia Logica 58 1997 47 77
14. G. Cattaneo A unified framework for the algebra of unsharp quantum mechanics International Journal of Theoretical Physics 36 1997 3085 3117
15. G. Cattaneo, Abstract approximation spaces for rough theories, in: [89], 1998, pp. 59-98.
16. G. Cattaneo, and D. Ciucci Heyting Wajsberg algebras as an abstract environment linking fuzzy and rough sets Lecture Notes in Artificial Intelligence vol. 2475 2002 Springer-Verlag Berlin pp. 77-84
17. G. Cattaneo, D. Ciucci, Generalized negations and intuitionistic fuzzy sets, A criticism to a widely used terminology, in: Proceedings of International Conference in Fuzzy Logic and Technology (EUSFLAT03). University of Applied Sciences of Zittau-Goerlitz, Zittau, 2003, pp. 147-152.
18. G. Cattaneo, D. Ciucci, Intuitionistic fuzzy sets or orthopair fuzzy sets? in: Proceedings of International Conference in Fuzzy Logic and Technology (EUSFLAT03). University of Applied Sciences of Zittau-Goerlitz, Zittau, 2003, pp. 153-158.
19. G. Cattaneo, and D. Ciucci Algebraic structures for rough sets D. Dubois, J. Grzymala-Busse, M. Inuiguchi, L. Polkowski, Fuzzy Sets and Rough Sets LNCS - Transactions on Rough Sets II vol. 3135 2004 Springer-Verlag Berlin 218 264
20. G. Cattaneo, and D. Ciucci Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) Fuzzy Sets and Systems 157 2006 3198 3219 (Pubitemid 44709758)
21. G. Cattaneo, and D. Ciucci Some methodological remarks about categorical equivalence in the abstract approach to roughness. Part I Lecture Notes in Artificial Intelligence vol. 4062 2006 Springer-Verlag Berlin pp. 277-283
22. G. Cattaneo, and D. Ciucci A hierarchical lattice closure approach to abstract approximation spaces Lecture Notes in Artificial Intelligence vol. 5009 2008 Springer-Verlag Berlin pp. 363-370
23. G. Cattaneo, and D. Ciucci Lattice with interior and closure operators and abstract approximation spaces J.F. Peters, Foundations of Rough Sets LNCS - Transactions on Rough Sets X vol. 5656 2009 Springer-Verlag Berlin 67 116
24. G. Cattaneo, and D. Ciucci Posets and lattices B. Wah, Encyclopedia of Computer Science and Engineering 2009 John Wiley & Sons Hoboken, NJ 2190 2208
25. G. Cattaneo, D. Ciucci, R. Giuntini, and M. Konig Algebraic structures related to many valued logical systems. Part I: Heyting Wajsberg algebras Fundamenta Informaticae 63 2004 331 355 (Pubitemid 41218151)
26. G. Cattaneo, D. Ciucci, R. Giuntini, and M. Konig Algebraic structures related to many valued logical systems. part II: Equivalence among some widespread structures Fundamenta Informaticae 63 2004 357 373 (Pubitemid 41218152)
27. G. Cattaneo, M. Dalla Chiara, R. Giuntini, and F. Paoli Quantum logic and nonclassical logics K. Engesser, D.M. Gabbay, D. Lehmann, Handbook of Quantum Logic and Quantum Structures 2009 Elsevier, North-Holland 127 226
28. G. Cattaneo, M.L. Dalla Chiara, and R. Giuntini Fuzzy intuitionistic quantum logics Studia Logica 52 1993 419 442
29. G. Cattaneo, Dalla M.L. Chiara, R. Giuntini, Some algebraic structures for many-valued logics, Tatra Mountains Mathematical Publication 15 (1998) 173-196 (Special Issue: Quantum Structures II, Dedicated to Gudrun Kalmbach).
30. G. Cattaneo, and R. Giuntini Some results on BZ structures from Hilbertian unsharp quantum physics Foundations of Physics 25 1995 1147 1183
31. dM and Stonian MV algebras (applications to fuzzy sets and rough approximations) Fuzzy Sets and Systems 108 1999 201 222 (Pubitemid 129665188)
32. G. Cattaneo, and A. Mani Abstract orthogonality and orthocomplementation Proceedings of the Cambridge Philosophical Society 76 1974 115 132
33. G. Cattaneo, G. Marino, Partially ordered structures of fuzzy projections in Hilbert spaces, in: A. Di Nola, A. Ventre, (Eds.), Proceedings of the 1st Napoli Meeting on Mathematics of Fuzzy Systems, Napoli, 1984, pp. 59-71.
34. G. Cattaneo, and G. Marino Non-usual orthocomplementations on partially ordered sets and fuzziness Fuzzy Sets and Systems 25 1988 107 123
35. G. Cattaneo, and Nistic Semantical structures for fuzzy logics: an introductory approach A. Di Nola, A. Ventre, Mathematics of Fuzzy Systems IRS vol. 88 1986 Verlag TÜV Rheinland Köln 33 50
36. G. Cattaneo, and G. Nistic Brouwer-Zadeh posets and three valued Łukasiewicz posets Fuzzy Sets and Systems 33 1989 165 190
37. C.C. Chang Algebraic analysis of many valued logics Transactions of the American Mathematical Society 88 1958 467 490
38. B.F. Chellas Modal Logic, An Introduction 1988 Cambridge University Press Cambridge, MA first published 1980
39. A. Ciabattoni, G. Metcalfe, F. Montagna, Adding modalities to MTL and its extensions, in: Proceedings of the Linz Symposium, 2005.
40. R. Cignoli Boolean elements in Łukasiewicz algebras. I Proceedings of the Japan Academy 41 1965 670 675
41. R. Cignoli Injective de Morgan and Kleene algebras Proceedings of the American Mathematical Society 47 1975 269 278
42. R. Cignoli, and A. Monteiro Boolean elements in Łukasiewicz algebras. II Proceedings of the Japan Academy 41 1965 676 680
43. D. Ciucci, D. Dubois, Truth-functionality, rough sets and three-valued logics, in: Proceedings ISMVL, 2010, pp. 98-103.
44. D. Dubois On ignorance and contradiction considered as truth-values Logic Journal of the IGPL 16 2008 195 216
45. D. Dubois, and H. Prade Conditional objects as nonmonotonic consequence relationships IEEE Transaction of Systems, Man, and Cybernetics 24 12 1994 1724 1740
46. J.M. Dunn Relevance logic and entailment D. Gabbay, F. Guenther, Handbook of Philosophical Logic vol. 3 1986 Kluwer 117 224
47. F. Esteva, and L. Godo Monoidal t-norm based logic: towards a logic for left-continuous t-norms Fuzzy Sets and Systems 124 2001 271 288 (Pubitemid 32951435)
48. F. Esteva, L. Godo, P. Hájek, and M. Navara Residuated fuzzy logics with an involutive negation Archive for Mathematical Logic 39 2000 103 124
49. J. Fodor, Nilpotent minimum and related connectives for fuzzy logic, in: Proceedings of FUZZ-IEEE 1995, 1995, pp. 2077-2082.
50. O. Frink New algebras of logic American Mathematical Monthly 45 1938 210 219
51. M. Gehrke, and E. Walker On the structure of rough sets Bulletin Polish Academy of Science (Mathematics) 40 1992 235 245
52. M.Y. Gentilhomme Les ensembles flous en linguistique Cahiers de linguistique theoretique et applique, Bucarest 47 1968 47 65
53. R. Goldblatt Mathematical modal logic: a view of its evolution Journal of Applied Logic 1 2003 309 392 (Pubitemid 41155185)
54. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer Dordrecht
55. P. Hájek On very true Fuzzy Sets and Systems 124 2001 329 333 (Pubitemid 32951440)
56. P.R. Halmos Algebraic logic, I. Monadic Boolean algebras Composition Mathematica 12 1955 217 249
57. P.R. Halmos The basic concepts of algebraic logic American Mathematical Monthly 53 1956 363 387
58. P.R. Halmos Algebraic Logic 1962 Chelsea Pub. Co. New York
59. J.Y. Halpern, R. Fagin, Y. Moses, and M. Vardi Reasoning About Knowledge 2003 MIT Press Revised paperback edition
60. G.M. Hardegree The conditional in abstract and concrete quantum logic C.A. Hooker, Logico-Algebraic Approach to Quantum Mechanics II 1979 D. Reidel Dordrecht, Holland 49 108
61. G.M. Hardegree Material implication in orthomodular (and Boolean) lattices Notre Dame Journal of Modal Logic 22 1981 163 182
62. J. Hintikka Knowledge and Belief 1962 Cornell University Press
63. G. Hughes, and M. Cresswell A Companion to Modal Logic 1984 Methuen London
64. J.C.C. McKinsey A solution to decision problem for the Lewis systems S2 ans S4 with an application to topology The Journal of Symbolic Logic 6 1941 117 134
65. J.C.C. McKinsey, and A. Tarski The algebra of topology Annals of Mathematics 45 1944 141 191
66. J.C.C. McKinsey, and A. Tarski On closed elements in closure algebras Annals of Mathematics 47 1946 122 162
67. J.C.C. McKinsey, and A. Tarski Some theorems about the sentential calculi of Lewis and Heyting Journal of Symbolic Logic 13 1948 1 15
68. G.C. Moisil Recherches sur l'algebres de la logiques Annales scientifiques de l'Université de Jassy 22 1935 1 117
69. G.C. Moisil Recherches sur les logiques non-chrysippiennes Annales scientifiques de l'Université de Jassy 26 1940 431 466
70. G.C. Moisil Notes sur les logiques non-chrysippiennes Annales scientifiques de l'Université de Jassy 27 1941 86 98
71. G.C. Moisil, Essais sur les logiques non Chrysippiennes. Edition de l'Académie de la République Socialiste de Roumanie, Bucharest, 1972.
72. G.C. Moisil, Exemples de propositions a plusieurs valeurs (texte inédit), Chapter 1.7, in: [71], 1972.
73. G.C. Moisil, Les ensembles flous et la logique trois valeurs (texte inédit), Chapter 1.5. in: [71], 1972.
74. A. Monteiro, Algebras monádicas. Atas do Segundo Colóquio Brasileiro de Matemática (33-52), appeared also as Notas de Logica Matematica, n. 7, Instituto de Matematica, Universitad Nacional del Sur, Bahia Blanca - Argentina, 1960 (1974).
75. A. Monteiro Matrices de Morgan caractéristiques pour le calcul propositionel classique Anais da Academia Brasiliera de Ciencias 32 1-7 1960
76. A. Monteiro Sur la definition des algebres de Łukasiewicz trivalentes Bulletin Mathématique de la Société de Sciences Mathématiques et Physiques de la République Populaire Roumaine 7 1-2 1963
77. A. Monteiro Construction des algbres de Łukasiewicz trivalentes dens les algbres de Boole monadiques - I Mathematica Japonicae 1967 1 23
78. A. Monteiro Sur les algbres de Heyting symétriques Portugaliae Mathematica 39 1980 1 237
79. A. Monteiro, Unpublished papers, I. Vol. 40 of Notas de Logica Matematica. NMABB-Conicet, Universidad Nacional del Sur, Bahia Blanca - Argentina, 1996.
80. A. Monteiro, L. Monteiro, Algbres de Stone libres, in: [79], 1968.
81. L. Monteiro Sur les algebres de Łukasiewicz injectives Proceedings of the Japan Academy 41 1965 578 581
82. M.A. Nielsen, and I.L. Chuang Quantum Computation and Quantum Information 2000 Cambridge University Press Cambridge
83. E. Orlowska A logic of indiscernibility relations LNCS vol. 208 1985 Springer-Verlag Berlin pp. 177-186
84. E. Orlowska Kripke semantics for knowledge representation logics Studia Logica 49 1990 255 272
85. E. Orlowska Incomplete Information: Rough Set Analysis 1998 Physica-Verlag. Springer Heidelberg, New York
86. P. Pagliani, Rough set theory and logic-algebraic structures, in: [85], 1998, pp. 109-190.
87. Z. Pawlak Rough sets International Journal of Computer and Information Sciences 11 1982 341 356
88. Z. Pawlak, and A. Skowron Rudiments of rough sets Information Sciences 177 2007 3 27 (Pubitemid 44556698)
89. L. Polkowski, and A. Skowron Rough Sets in Knowledge Discovery 1 1998 Physica-Verlag Heidelberg, New York
90. H. Rasiowa An Algebraic Approach to Non-Classical Logics 1974 North Holland Amsterdam
91. H. Rasiowa, and R. Sikorski The Mathematics of Metamathematics 3rd ed. Monografie Matematyczne vol. 41 1970 Polish Scientific Publishers Warszawa
92. M.B. Smyth, Topology, in: S. Abramsky, D. Gabbay, T. Maibaum, (Eds.), Handbook of Logic in Computer Science, Oxford University Press, 1992, pp. 641-761.
93. S. Surma, Logical Works, Polish Academy of Sciences, Wroclaw, 1977.
94. A. Tarski, and F.B. Thompson Some general properties of cylindric algebras Bulletin of the American Mathematical Society 58 1952 65 Abstracts of the Meeting in Pasadena, December 1, 1951
95. T. Tsao-Chen Algebraic postulates and a geometrical interpretation for the Lewis calculus of strict implication Bulletin of the American Mathematical Society 44 1938 737 744
96. V.S. Varadarajan Geometry of Quantum Physics. I 1968 Van Nostrand Princeton
97. M. Wajsberg, Aksjomatyzacja trówartościowego rachunkuzdań [Axiomatization of the three-valued propositional calculus]. Comptes Rendus des Séances de la Societé des Sciences et des Lettres de Varsovie 24 (1931) 126-148 (English Translation in [93]).
98. M. Wajsberg Beiträge zum Metaaussagenkalkül I Monashefte fur Mathematik un Physik 42 1935 221 242 English Translation in [93]
99. E. Walker Stone algebras, conditional events, and three valued logic IEEE Transaction of Systems, Man, and Cybernetics 24 12 1994 1699 1707
100. L.A. Zadeh A fuzzy-set-theoretic interpretation of linguistic hedges Journal of Cybernetics 2 1972 4 34