Jørgen Villadsen
-
Combinators for Paraconsistent Attitudes
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics