Local possibilistic logic

Journal of Applied Non-Classical Logics

Volumn 7, Issue 3, 1997, Pages 309-333

  Boldrin, Luca ^a   Sossai, Claudio ^b  

^a Sodalia   (Italy)

^b Istituto di Ingeneria Biomedica del CNR   (Italy)

Author keywords

Many Valued Logics; Possibility Theory; Substructural Logics

Indexed keywords

EID: 0001156038     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1997.10510917     Document Type: Article

References (23)

1. J. Bell. Boolean Valued Models and Independence Proofs in Set Theory. Oxford University Press, Oxford, UK, 1985
2. L. Boldrin and A. Saffiotti. A modal logic for merging partial belief of multiple reasoners. TR/IRIDIA 95-19, Iridia, Universite Libre de Bruxelles, Belgium, 1995.
3. L. Boldrin and C. Sossai. An algebraic semantics for possibilistic logic. In Proceedings of the International Conference on Uncertainty in Artificial Intelligence (UAI 95}, pages 24-37, Montreal, Canada, 1995.
4. L. Boldrin. and C. Sossai. Merging information in possibilistic logic. Tech. rep. 09/95, LADSEB, CNR, Italy, 1995.
5. D. Dubois and H. Prade. A review of fuzzy set aggregation connectives. Information Sciences, 36:85-121, 1985.
6. D. Dubois and H. Prade. Combination of fuzzy information in the framework of possibility theory. In Abidi and Gonzales, editors, Data Fusion in Robotics and Machine Intelligence, pages 481-505. Academic Press, 1992.
7. D. Dubois and H. Prade. A survey of belief revision and updating rules in various uncertainty models. International Journal of Intelligent Systems, 9:61-100, 1994.
8. Dubois, J. Lang, and H. Prade. Fuzzy sets in approximate reasoning, part 2: logical approaches. Fuzzy Sets and Systems, 40:203-244, 1991.
9. D. Dubois, J. Lang, and H. Prade. Possibilistic logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming-Nonmonotonic Reasoning and Uncertain Reasoning(Volume 3}, pages 439-513. Clarendon Press, Oxford, 1994.
10. R. Fagin and J. Y. Halpern. Reasoning about knowledge and probability. Journal of the Association for Computing Machinery, 41:340-367, 1994.
11. G. Gerla. Inferences in probability logic. Artificial Intelligence, 70:33-52, 1994.
12. J.-Y. Girard. Linear logic. Theoretical computer science, 50:1-101, 1987.
13. V. N. Grisin. The algebraic semantics of logic without cancellation. Studies in set theory and nonclassical logics (Russian), 247-264, 1976.
14. P. Hajek, D. Harmancova, and R. Verbrugge. A qualitative fuzzy possibilistic logic. Int. J. of Approximate Reasoning, 7, 1994.
15. P. Hajek, L. Godo, and F. Esteva. Fuzzy logic and probability. In Proc. of the International Conference on Uncertainty in Artificial Intelligence (UAI 95}, pages 237-244, Montreal, Canada, 1995.
16. P. Hajek. On logics of approximate reasoning. In M. Masuch and L. Polos, editors, Knowledge Representation and Reasoning under Uncertainty: Logic at Work, pages 17-29, Berlin, Heidelberg, 1994. Springer.
17. U. Hohle. A survey on the fundamentals of fuzzy set theory. In Kreith, editor, Handbook of Mechanical Engineering. GRC Press, to appear, 1995.
18. D. Lehmann. Plausibility logic. In E. Borger, G. Jager, H. Kleine Biining, and M. M. Richter, editors, Computer Science Logic: Proc. of the 5th Workshop CSL '91, pages 227-241, Berlin, Heidelberg, 1991. Springer.
19. C. J. Liau and B. I. Lin. A theoretical investigation into quantitative modal logic. Fuzzy sets and systems, to appear, 1995.
20. T. Murai, M. Miyakoshi, and M. Shimbo. Measure-based semantics for modal logic. In R. Lowen and M. Roubens, editors, Fuzzy logic, pages 395-405. Kluwer Academic Publishers, 1993 . •
21. G. Panti. Multi-valued logics. Manuscript, Dept. of Mathematics and Informatics, Univ. of Udine, Italy, 1995.
22. J. Pavelka. On fuzzy logic i, ii, iii. Zeitschr. f. math. Logik und Grundlagen d. Math, 25:45-52; 119-131; 447-464, 1979.
23. K. I. Rosenthal. Quantales and their applications. Longman, 1990.