A four-valued fuzzy propositional logic

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1997, Pages 128-133

  Straccia, Umberto ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL PROPERTIES; FOUR-VALUED LOGIC; IMPRECISE KNOWLEDGE; PROPOSITIONAL LOGIC;

ARTIFICIAL INTELLIGENCE;

FORMAL LOGIC;

EID: 4243199729     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. N. D. Belnap. A useful four-valued logic. In G. Epstein and J. M. Dunn, ed., Modern uses of multiple-valued logic, pages 5-37. Reidel, Dordrecht. NL, 1977.
2. J. Chen and S. Kundu. A sound and complete fuzzy logic system using Zadeh's implication operator. In Proc. of the 9th Int. Syrup, on Methodologies for Intelligent Systems, LNAI 1079. pages 233-242. Springer, 1996.
3. M. D'Agostino and M. Mondadori. The taming of the cut. Classical refutations with analytical cut. Journal of Logic and Computation, 4(3):285-319, 1994.
4. D. Dubois and H. Prade. Possibilistic logic. In D. M. Gabbay and C. J. Hogger, ed. Handbook of Logic in Artificial Intelligence, 3:439-513. Clarendon Press, Oxford, Dordrecht*NL, 1986.
5. B. Hollunder. An alternative proof method for possibilistic logic and its application to terminological logics. In 10th Annual Conference on Uncertainty in Artificial Intelligence, Seattle, WA, 1994.
6. H. J. Levesque. A logic of implicit and explicit belief. In Proc. of AAAI-84, pages 198-202. Austin, TX, 1984.
7. C. Meghini, F. Sebastiani, and U. Straccia. Reasoning about the form and content for multimedia objects (extended abstract). In Proc. of AAAI 1997 Spring Symp. on Intelligent Integration and Use of Text, Image, Video and Audio, pages 89-94, Stanford University, CA, 1997.
8. R. M. Smullyan. First Order Logic. Springer, 1968.
9. Gerd Wagner. Ex contradictione nihil sequitur. In Proc. of IJCAI-91, pages 538-543, Sydney, Australia, 1991.