Relationships between connectives in three-valued logics

Communications in Computer and Information Science

Volumn 297 CCIS, Issue PART 1, 2012, Pages 633-642

  Ciucci, Davide ^a,b   Dubois, Didier ^a  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

3-VALUED LOGIC; LOGICAL OPERATIONS; LONG RANGE; THREE-VALUED; THREE-VALUED LOGIC; TRUTH VALUES;

ARTIFICIAL INTELLIGENCE; BIOMINERALIZATION; DATA PROCESSING; KNOWLEDGE BASED SYSTEMS; SEMANTICS;

INFORMATION MANAGEMENT;

EID: 84866924139     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-31709-5_64     Document Type: Conference Paper

References (24)

1. Asenjo, F., Tamburino, J.: Logic of antinomies. Notre Dame Journal of Formal Logic 16, 17-44 (1975)
2. Avron, A.: On an implication connective of RM. Notre Dame Journal of Formal Logic 27, 201-209 (1986)
3. Baets, B.D., Fodor, J.C.: Residual operators of uninorms. Soft Computing 3, 89-100 (1999)
4. Bochvar, D.: 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, 87-112 (1981)
5. D'Ottaviano, I., da Costa, N.: Sur un problème de Jaśkowski. Comptes Rendus de l'Académie des Science 270, 1349-1353 (1970)
6. Dubois, D.: On ignorance and contradiction considered as truth-values. Logic Journal of the IGPL 16, 195-216 (2008)
7. Dubois, D., Prade, H.: Fuzzy-set-theoretic differences and inclusions and their use in the analysis of fuzzy equations. Control and Cybernetics 13(3), 129-146 (1984)
8. Dubois, D., Prade, H.: An introduction to bipolar representations of information and preference. Int. J. Intelligent Systems 23(3), 866-877 (2008)
9. Dubois, D., Prade, H., Schockaert, S.: Stable models in generalized possibilistic logic. In: Proceedings KR 2012 (accepted, 2012)
10. Fodor, J.C.: On fuzzy implications operators. Fuzzy Sets and Systems 42, 293-300 (1991)
11. H́ajek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
12. Hardegree, G.M.: Material implication in orthomodular (and Boolean) lattices. Notre Dame Journal of Modal Logic 22, 163-182 (1981)
13. Kleene, S.C.: Introduction to metamathematics. North-Holland Pub. Co., Amsterdam (1952)
14. Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer Academic, Dordrecht (2000)
15. Konikowska, B.: Mccarthy algebras: A model of mccarthy's logical calculus. Fundamamenta Informaticae 26(2), 167-203 (1996)
16. Mas, M., Monserrat, M., Torrens, J.: s-implications and r-implications on a finite chain. Kibernetika 40, 3-20 (2004)
17. Mas, M., Monserrat, M., Torrens, J., Trillias, E.: A survey on fuzzy implication functions. IEEE Trans. on Fuzzy Systems 15, 1107-1121 (2007)
18. McCarthy: A basis for a mathematical theory of computation. In: Braort, P., Hirshberg, D. (eds.) Computer Programming and Formal Systems. North-Holland (1963)
19. Nelson, D.: Constructible falsity. J. of Symbolic Logic 14, 16-26 (1949)
20. Sabo, M.: On many valued implications. Tatra Mountain Mathematical Publication 14, 161-167 (1998)
21. Sette, A.: On propositional calculus p1. Mathematica Japonicae 16, 173-180 (1973)
22. Smets, P., Magrez, P.: Implication in fuzzy logic. Int. J. of Approximate Reasoning 1, 327-347 (1987)
23. Sobocinski, B.: Axiomatization of a partial system of three-value calculus of propositions. J. of Computing Systems 1, 23-55 (1952)
24. Vakarelov, D.: Notes on n-lattices and constructive logic with strong negation. Studia Logica 36, 109-125 (1977)