Evidential bilattice logic and lexical inference

Journal of Logic, Language and Information

Volumn 5, Issue 1, 1996, Pages 65-105

  Schöter, Andreas ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Bilattice logic; Defeasible reasoning; Evidential reasoning; Natural language semantics; Presupposition; Relevance logic

Indexed keywords

EID: 0008004004     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: None     Document Type: Article

References (42)

1. Anderson, A. and Belnap, N., 1975, Entailment: The Logic of Relevance and Necessity, I). Princeton, NJ: Princeton University Press.
2. Avron, A., 1992, "Whither relevance logic?," Journal of Philosophical Logic 21, 243-281.
3. Barba Escriba, J., 1992, "Two formal systems for situation semantics," Notre Dame Journal of Formal Logic 33(1), 70-88.
4. Barwise, J., 1989, "Situations and small worlds," pp. 79-92 in The Situation in Logic, Center for the Study of Language and Information.
5. Barwise, J. and Seligman, J., 1994, "The rights and wrongs of natural regularity," in: Philosophical Perspectives, pp. 331-364 J. Tomberlin, ed. California: Ridgeview.
6. Beaver, D., 1993, "What comes first in dynamic semantics," Research Report LP-93-15, Institute for Logic, Language and Computation, University of Amsterdam.
7. Belnap, N., 1975, "How a computer should think," pp. 30-56, in Contemporary Aspects of Philosophy, G. Ryle, ed., Stocksneid: Oriel Press.
8. Belnap, N., 1977, "A useful four-valued logic," pp. 8-37 in Modern Uses of Multiple-Valued Logic, J. Dunn and G. Epstein, eds., Vol. 2 of Episteme, Dordrecht: D. Reidel Publishing Company.
9. Blamey, S., 1986, "Partial logic," pp. 1-70 in Handbook of Philosophical Logic, Vol. III, D. Gabbay and F. Guenthner, eds., Dordrecht: D. Reidel Publishing Company.
10. Burton-Roberts, N., 1989, The Limits to Debate: A Revised Theory of Semantic Presupposition, Vol. 51 of Cambridge Studies in Linguistics, Cambridge University Press.
11. Cross, C. and Thomason, R., 1992, "Conditionals and knowledge-base update," pp. 247-275 in Belief Revision, P. Gädenfors, ed., Chapter 10, Cambridge: Cambridge University Press.
12. de Kleer, J., 1986, "An assumption-based TMS," Artificial Intelligence 28, 127-162.
13. Devlin, K., 1991, Information and Logic, Cambridge: Cambridge University Press.
14. Dowty, D., Wall, R., and Peters, S., 1981, Introduction to Montague Semantics. Dordrecht: D. Reidel Publishing Company.
15. Fauconnier, G., 1985, Mental Spaces: Aspects of Meaning Construction in Natural Language. Cambridge, Mass.: Bradford Books, The MIT Press.
16. Fitting, M., 1989, "Negation as refutation," pp. 63-70 in Proceedings of the Fourth Annual Symposium on Logic in Computer Science, R. Parikh, ed., IEEE.
17. Fitting, M., 1990, "Kleene's three-valued logics and their children," in Proceedings of the Bulgarian Kleene '90 Conference, (unpublished ms.).
18. Fitting, M., 1991, "Bilattices and the semantics of logic programming," Journal of Logic Programming 11, 91-116.
19. Fitting, M., 1992, "Kleene's logic, generalized," Journal of Logic and Computation 1, 797-810.
20. Gazdar, G., 1979, Pragmatics: Implicature, Presupposition and Logical Form. New York: Academic Press.
21. Ginsberg, M., 1988, "Multivalued logics: A uniform approach to reasoning in artificial intelligence," Computational Intelligence 4, 265-316.
22. Grice, P., 1975, "Logic and conversation," in Syntax and Semantics, Volume 3: Speech Acts, P. Cole and J.L. Morgan, eds., New York: Academic Press.
23. Groenendijk, J. and Stokhof, M., 1991, "Dynamic predicate logic," Linguistics and Philosophy 14, 39-100.
24. Gunji, T., 1982, Towards a Computational Theory of Pragmatics: Discourse, Presupposition and Implicature, Indiana University Linguistics Club.
25. Karttunen, L. and Peters, S., 1979, "Conventional implicature," in Syntax and Semantics, Volume 11: Presupposition, C.-H. Oh and D. Dinneen, eds., New York: Academic Press.
26. Kempson, R., 1975, Presupposition and the Delimitation of Semantics, Cambridge University Press.
27. Kleene, S., 1952, Introduction to Metamathematics, Vol. 1 of Bibliotheca Mathematica, Groningen: North-Holland Publishing Company.
28. Konolige, K., 1988, "Hierachical autoepistemic theories for nonmonotonic reasoning: Preliminary report," Technical Note 446, Artifical Intelligence Center, Center for the Study of Language and Information, Computer and Information Sciences Division.
29. Makinson, D., 1989, "General theory of cumulative inference," pp. 1-18 in, Second International Workshop on Non-Monotonic Reasoning. Lecture Notes in Artificial Intelligence 346, R. Parikh, ed.
30. Mercer, R., 1992a, "A default logic approach to the derivation of natural language presuppositions," Technical Report 332, Department of Computer Science, The University of Western Ontario.
31. Mercer, R., 1992b, "Default logic: Towards a common logical semantics for presuppositions and entailments," Journal of Semantics 9, 223-250.
32. Muskens, R., 1988, "Going partial in Montague Grammar," Technical Report 0, Institute for Language, Logic and Information.
33. Priest, G., 1979, "The logic of paradox," Journal of Philosophical Logic 8, 219-241.
34. Priest, G. and Routley, R., 1989a, "The philosophical significance and inevitability of paraconsistency," in Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley, and J. Norman, eds., München: Philosophia Verlag.
35. Priest, G. and Routley, R., 1989b, "Systems of paraconsistent logic," in, Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley, and J. Norman, eds., München: Philosophia Verlag.
36. Read, S., 1988, Relevant Logic: A Philosophical Examination of Inference, Oxford: Basil Blackwell Ltd.
37. Reiter, R., 1987, "A logic for default reasoning," pp. 69-83 in Readings in Nonmonotonic Reasoning, M. Ginsberg, ed., Chapter 3.1, Los Altos, CA: Morgan Kaufmann.
38. Rescher, N., 1969, Many-Valued Logic, New York: McGraw-Hill Company.
39. Schöter, A., 1995, "Paraconsistent feature logic," in Nonclassical Feature Systems, A. Schöter and C. Vogel, eds., Edinburgh Working Papers in Cognitive Science, Volume 10, Chapter 1, Centre for Cognitive Science, The University of Edinburgh.
40. Thijsse, E., 1990, "Partial logic and modal logic: a systematic survey," Research Report ITK 11, Institute for Language Technology and Artificial Intelligence, Tilburg University, The Netherlands.
41. Veltman, F., 1991, "Defaults in update semantics," DYANA Deliverable R2.5.C, ILLC/Department of Philosophy, University of Amsterdam.
42. Wilkes, A. and Leatherbarrow, M., 1988, "Editing episodic memory following the identification of error," The Quarterly Journal of Experimental Psychology 40A(2), 361-387.