A Paraconsistent Higher Order Logic - Artificial Intelligence and Symbolic Computation - page 51

7. H. P. Barendregt. The Lambda Calculus, Its Syntax and Semantics . North-Holland,
revised edition, 1984.
8. N. D. Belnap Jr. A useful four-valued logic. In J. M. Dunn and G. Epstein, editors,
Modern Uses of Multiple-Valued Logic , pages 8-37. D. Reidel, 1977.
9. C. Benzmuller and M. Kohlhase. LEO: A higher-order theorem prover. In 15th
International Conference on Automated Deduction (CADE-15) , pages 139-143.
Springer-Verlag, 1998. LNCS 1421.
10. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic ,
5:56-68, 1940.
11. G. Evans. Can there be vague objects? Analysis , 38(4):208, 1978.
12. M. Ginsberg. Multivalued logics: A uniform approach to inference in artificial in-
telligence. Computer Intelligence , 4:265-316, 1988.
13. S. Gottwald. A Treatise on Many-Valued Logics . Research Studies Press, 2001.
14. L. Henkin. A theory of propositional types. Fundamenta Mathematicae , 52:323-
344, 1963.
15. M. Kohlhase and Ortwin Scheja. Higher-order multi-valued resolution. Journal of
Applied Non-Classical Logic , 9(4), 1999.
16. E. Mendelson. Introduction to Mathematical Logic . Chapman & Hall, 4th edition,
1997.
17. R. Muskens. Meaning and Partiality . CSLI Publications, Stanford, California, 1995.
18. L. C. Paulson. Isabelle - A Generic Theorem Prover . Springer-Verlag, 1994. LNCS
828.
19. J. Villadsen. Combinators for paraconsistent attitudes. In P. de Groote, G. Morrill,
and C. Retore, editors, Logical Aspects of Computational Linguistics , pages 261-
278. Springer-Verlag, 2001. LNCS 2099.
20. J. Villadsen. Paraconsistent query answering systems. In T. Andreasen, A. Motro,
H. Christiansen, and H. L. Larsen, editors, International Conference on Flexible
Query Answering Systems , pages 370-384. Springer-Verlag, 2002. LNCS 2522.
21. J. Villadsen. Supra-logic: Using transfinite type theory with type variables for para-
consistency. In III World Congress on Paraconsistency , 2003. Toulouse, France.
22. J. Villadsen. Paraconsistent assertions. In Second German Conference on Multi-
agent System Technologies . Springer-Verlag, 2004. To appear in LNCS.
23. F. Wiedijk. Comparing mathematical provers. In Mathematical Knowledge Man-
agement (MKM 2003) , pages 188-202. Springer-Verlag, 2003. LNCS 2594.