Formalizing Context in Intuitionistic Type Theory

Fundamenta Informaticae

Volumn 42, Issue 2, 2000, Pages 105-127

  Boldini, Pascal ^a  

^a SORBONNE UNIVERSITÉ   (France)

Author keywords

Artificial Intelligence; Contexts; Knowledge Based Systems; Natural Language Processing; Situations; Type Theory

Indexed keywords

EID: 0346972330     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-2000-42201     Document Type: Article

References (12)

1. Akman, V. and Surav, M.: "Steps toward formalizing context", AI Magazine, 17(3), 1995, 55-72.
2. Akman, V. and Surav, M.: "The use of situation theory in context modeling", Computational intelligence, 12(4), 1996.
3. Barwise, J. and Perry, J.: Situations and Attitudes, Cambridge, Ma.: MIT Press, 1983.
4. Boldini, P.: "Vagueness and Type Theory", Rétoré, C. (ed.), Logical Aspects of Computational Linguistics, LNAI 1328, Springer-Verlag, 1997, 134-148.
5. Geach, P.: Reference and Generality, Ithaca, New York: Cornell University Press, 1962.
6. Gardent, C.: "Parallelism and Semantic Interpretation", Rétoré, C. (ed.), Logical Aspects of Computational Linguistics, LNAI 1328, Springer-Verlag, 1997.
7. Martin-Löf, P.: "Mathematics of infinity", P. Martin-Löf and G. Mints (eds), Colog 88, International Conference on Computer Logic, Lectures Notes in Computer Science 417, Springer, 1990, 146-197.
8. Martin-Löf, P.: Intuitionistic type theory, Napoli: Bibliopolis, 1984
9. McCarthy, J.: "Notes on formalizing context", Proceedings of IJCAI'93, Chambéry, France, 1993, 555-560.
10. Ranta, A.: "Constructing possible worlds", Theoria, 57(1/2), 1991, 77-99.
11. Ranta, A.: Type-theoretical grammar, Oxford: Clarendon, 1994.
12. Sundholm, G.: "Proof theory and meaning", Gabbay, D. and Guenthner, F.(eds.) Handbook of Philosophical Logic, Volume III, Alternatives to Classical Logic, D. Reidel, 1986.