A substructural connective for possibilistic logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 946, Issue , 1995, Pages 60-68

  Boldrin, Luca ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); SEMANTICS;

COMPLEMENTATION; INDEPENDENT SOURCES; POSSIBILISTIC LOGIC; PROOF SYSTEM; SEQUENT CALCULUS; SOUND AND COMPLETE; SUBSTRUCTURAL LOGIC;

COMPUTER CIRCUITS;

EID: 67651224069     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60112-0_8     Document Type: Conference Paper

References (17)

1. N. Alechina and P. Smets. A note on modal logics for partial beliefs (manuscript), 1994.
2. Substructural connectives for merging information in possibilistic logic. LADSEB-CNR Int. Rep. 9, 1994.
3. D. Dubois and H. Prade. A review of fuzzy set aggregation connectives. Information Sciences 36, 1985, pp. 85-121.
4. D. Dubois and H. Prade. A survey of belief revision and updating rules in various uncertainty models. Int. J. of Intelligent Systems 9, 1994, pp. 61-100.
5. D. Dubois, J. Lang and H. Prade. Possibilistic logic In: D. Gabbay, C. Hogger and J. Robinson (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3. Clarendon Press 1994.
6. R. Fagin and J. Y. Halpern. Reasoning about knowledge and probability. J. of the ACM, 41, 1994, pp. 340-367.
7. D. Gabbay. Fibred semantics and the weaving of logics. Draft, Imperial College, 1992.
8. J. Y. Girard. Linear logic. Theoretical computer science, 50, 1987, pp. 1-101.
9. P. Hajek, D. Harmancova and R. Verbrugge. A qualitative fuzzy possibilistic logic. Int. J. of Approximate Reasoning 7, 1994.
10. J. Ketonen and R. Weyhrauch. A decidable fragment of predicate calculus. Theoretical computer science 32, 1984, pp. 297-307.
11. T. Murai, M. Miyakoshi and M. Shimbo. Measure-based semantics for modal logic. In: R. Lowen and M. Roubens (eds.). Fuzzy logic. Kluwer Academic Publishers, 1993, pp. 395-405.
12. J. Pavelka. On fuzzy logic II. Zeitschr. f. math. Logik and Grundlagen d. Math 25, 1979, pp. 119-131.
13. Meeting some neighbours. A dynamic logic meets theories of change and knowledge representation. In J. van Eijck and A. Visser: Logic and information flow. The MIT Press, 1994.
14. K. I. Rosenthal. Quantales and their applications. Longman 1990.
15. A. Saffiotti. A belief function logic. Proceedings of AAAI 1992, pp. 642-647.
16. G. Sambin. Pretopologies and the completeness proof. To appear in The J. of Symbolic Logic.
17. F. Voorbraak. As far as I know. Epistemic logic and uncertainty. Phd dissertation, Dept. of Philosophy - Utrecht University, 1993.