A map of dependencies among three-valued logics

Information Sciences

Volumn 250, Issue , 2013, Pages 162-177

  Ciucci, D ^a,b   Dubois, D ^b  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

^b IRIT   (France)

Author keywords

Functional completeness; MV algebra; Three valued logic; Truth table

Indexed keywords

APPLICATION CONTEXTS; FUNCTIONAL COMPLETENESS; LOGICAL CONNECTIVES; MV-ALGEBRAS; THREE-VALUED; THREE-VALUED LOGIC; TRUTH VALUES; TRUTH-TABLE;

ARTIFICIAL INTELLIGENCE;

SOFTWARE ENGINEERING;

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

References (62)

1. A. Adamatzky On dynamically non-trivial three-valued logics Chaos, Solitons and Fractals 18 2003 917 936
2. F.G. Asenjo, and J. Tamburino Logic of antinomies Notre Dame Journal of Formal Logic 16 1975 17 44
3. A. Avron On an implication connective of RM Notre Dame Journal of Formal Logic 27 1986 201 209
4. 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
5. B. De Baets, and J.C. Fodor Residual operators of uninorms Soft Computing 3 1999 89 100
6. M. Banerjee, and D. Dubois A simple modal logic for reasoning about revealed beliefs C. Sossai, G. Chemello, Proc. ECSQARU 2009, Verona, Italy, LNAI 5590 2009 Springer-Verlag 805 816
7. L.P. Belluce Generalized fuzzy connectives on MV-algebras Journal of Mathematical Analysis and Applications 206 1997 485 499
8. N.D. Belnap A useful four-valued logic J.M. Dunn, G. Epstein, Modern Uses of Multiple-Valued Logic 1977 D. Reidel 8 37
9. D.A. Bochvar On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus History and Philosophy of Logic 2 1981 87 112
10. L. Borowski Selected Works of J. Łukasiewicz 1970 North-Holland Amsterdam
11. G. Cattaneo, and D. Ciucci Shadowed sets and related algebraic structures Fundamenta Informaticae 55 2003 255 284
12. 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 4 2004 331 355
13. 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 4 2004 357 373
14. dM and Stonian MV algebras (applications to fuzzy sets and rough approximations) Fuzzy Sets and Systems 108 1999 201 222
15. R. Cignoli The class of Kleene algebras satisfying an interpolation property and Nelson algebras Algebra Universalis 23 1986 262 292
16. D. Ciucci, D. Dubois, Truth-functionality, rough sets and three-valued logics, in: Proceedings ISMVL, 2010, pp. 98-103.
17. D. Ciucci, and D. Dubois Relationships between connectives in three-valued logics Proc. IPMU Conference, Catania CCIS vol. 297 2012 Springer 633 642
18. D. Ciucci, D. Dubois, Three-valued logics for incomplete information and epistemic logic, in: Proc. 13th European Conference on Logics in Artificial Intelligence (JELIA), Toulouse, France, LNCS, vol. 7519, 2012, pp. 147-159.
19. E.F. Codd Extending the database relational model to capture more meaning ACM Transactions on Database Systems 4 4 1979 397 434
20. B. De Baets, J.C. Fodor, D. Ruiz-Aguilera, and J. Torrens Idempotent uninorms on finite ordinal scales International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2009 1 14
21. I.M.L. D'Ottaviano, and N.C.A. da Costa Sur un problème de Jaśkowski Comptes Rendus de l'Académie des Science 270 1970 1349 1353
22. J. Drewniak Invariant fuzzy implications Soft Computing 10 6 2006 506 513
23. D. Dubois On ignorance and contradiction considered as truth-values Logic Journal of the IGPL 16 2008 195 216
24. D. Dubois, and H. Prade Fuzzy-set-theoretic differences and inclusions and their use in the analysis of fuzzy equations Control and Cybernetics 13 3 1984 129 146
25. D. Dubois, and H. Prade A theorem on implication functions defined from triangular norms Stochastica VIII 1984 267 279
26. D. Dubois, and H. Prade Conditional objects as nonmonotonic consequence relationships IEEE Transaction of Systems, Man, and Cybernetics 24 12 1994 1724 1740
27. D. Dubois, and H. Prade Possibility theory, probability theory and multiple-valued logics: a clarification Annals of Mathematics and Artificial Intelligence 32 2001 35 66
28. D. Dubois, and H. Prade An introduction to bipolar representations of information and preference International Journal of Intelligent Systems 23 3 2008 866 877
29. M. Fitting A Kripke-Kleene semantics for logic programs Journal of Logic Programming 2 4 1985 295 312
30. J.C. Fodor On fuzzy implications operators Fuzzy Sets and Systems 42 1991 293 300
31. J. Fox Motivation and demotivation of a four-valued logic Notre Dame Journal of Formal Logic 31 1 1990 76 80
32. M.Y. Gentilhomme Les ensembles flous en linguistique Cahiers de linguistique theoretique et applique, Bucarest 47 1968 47 65
33. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer Dordrecht
34. G.M. Hardegree Material implication in orthomodular (and Boolean) lattices Notre Dame Journal of Modal Logic 22 1981 163 182
35. T. Hosoi The axiomatization of the intermediate propositional systems Sn of Gödel J. Coll. Sci., Imp. Univ. Tokyo 13 1996 183 187
36. S. Jaśkowski Propositional calculus for contradictory deductive systems Studia Logica 24 1969 143 160
37. W. Jobe Completeness and canonical forms in many-valued logics The Journal of Symbolic Logic 27 1962 409 422
38. S.C. Kleene Introduction to Metamathematics 1952 North-Holland Pub. Co Amsterdam
39. E.P. Klement, R. Mesiar, and E. Pap Triangular Norms 2000 Kluwer Academic Dordrecht
40. B. Konikowska McCarthy algebras: a model of McCarthy's logical calculus Fundamenta Informaticae 26 2 1996 167 203
41. J. Lawry, and Y. Tang On truth-gaps, bipolar belief and the assertability of vague propositions Artificial Intelligence 2012 20 41
42. M. Mas, G. Mayor, and J. Torrens t-Operators International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 7 1 1999 31 50
43. M. Mas, G. Mayor, and J. Torrens t-Operators and uninorms on a finite totally ordered set International Journal of Intelligent Systems 14 1999 909 922
44. M. Mas, M. Monserrat, and J. Torrens S-implications and R-implications on a finite chain Kibernetika 40 2004 3 20
45. M. Mas, M. Monserrat, J. Torrens, and E. Trillas A survey on fuzzy implication functions IEEE Transactions on Fuzzy Systems 15 2007 1107 1121
46. J. McCarthy A basis for a mathematical theory of computation P. Braort, D. Hirshberg, Computer Programming and Formal Systems 1963 North-Holland
47. D. Nelson Constructible Falsity Journal of Symbolic Logic 14 1949 16 26
48. D. Pearce Equilibrium logic Annals of Mathematics and Artificial Intelligence 47 2006 3 41
49. W. Pedrycz From fuzzy sets to shadowed sets: Interpretation and computing International Journal of Intelligent Systems 24 1 2009 48 61
50. G. Priest The logic of paradox The Journal of Philosophical Logic 8 1979 219 241
51. J. Rosser, and A. Turquette Many-Valued Logics Studies in Logic and The Foundations of Mathematics 1952 North-Holland Amsterdam
52. M. Sabo On many valued implications Tatra Mountain Mathematical Publication 14 1998 161 167
53. A.M. Sette On propositional calculus P1 Mathematica Japonicae 16 1973 173 180
54. P. Smets, and P. Magrez Implication in Fuzzy Logic International Journal of Approximate Reasoning 1 1987 327 347
55. K.C. Smith The prospects for multivalued logic: a technology and applications view IEEE Transactions on Computers 30 9 1981 619 634
56. B. Sobociński Axiomatization of a partial system of three-valued calculus of propositions Journal of Computing Systems 1 1952 23 55
57. A. Urquhart Many-valued logic D.M. Gabbay, F. Guenthner, Handbook of Philosophical Logic: Volume III, Alternatives to Classical Logic 1986 Springer
58. D. Vakarelov Notes on N-lattices and constructive logic with strong negation Studia Logica 36 1977 109 125
59. D. Vakarelov Nelson's negation on the base of weaker versions of intuitionistic negation Studia Logica 80 2005 393 430
60. E.A. Walker Stone algebras, conditional events, and three-valued logic IEEE Transaction of Systems, Man, and Cybernetics 24 12 1994 1699 1707
61. Y. Yao, Interval sets and interval-set algebras, in: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, 2009, pp. 307-314.
62. Y. Yao, An outline of a theory of three-way decisions, in: Proceedings of RSCTC 2012, LNCS, vol. 7413, 2012, pp. 1-17.