1. A. Avron. The semantics and proof theory of Linear Logic. Theoretical Computer Science, 57, 161–184, 1988.
2. J. L. Bell. Boolean-valued Models and Independence Proofs in Set Theory. Oxford University Press, Oxford, 1985.
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),Montreal, Canada, August 1995. An extended version in LADSEB-CNR Tech. Rep. 03/95.
4. L. Boldrin and C. Sossai. Local Possibilistic Logic, Journal of Applied Non-Classical Logic, ‘T, 309–333, 1997.
5. L. Boldrin and A. Saffiotti. A modal logic for merging partial belief of multiple uncertain reasoners. Tec. Rep. TR/IRIDIA/95–20. Université Libre de Bruxelles. October 1996.