Vagueness and type theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1328, Issue , 1997, Pages 134-148

  Boldini, Pascal ^a  

^a UNIVERSITÉ PARIS OUEST NANTERRE LA DÉFENSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SEMANTICS;

THEORETICAL APPROACH; THEORETICAL TERMS; TYPE THEORY; VAGUE PREDICATE;

FORMAL LANGUAGES;

EID: 84949745693     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0052155     Document Type: Conference Paper

References (14)

1. L. Carroll. What the tortoise said to achilles. Mind, 4, 1895.
2. M. Dummet. What is a theory of meaning ? In Evans and McDowell, editors, Truth and Meaning, pages 67-197. Oxford University Press, 1976.
3. M. Dummet. Truth and Other Enigmas. Duckworth, London, 1978.
4. P. Engel. The norm of truth, an introduction to the philosophy of logic. Harvester Wheatsheaf. Hemel Hempstead, 1991.
5. J. Goguen. The logic of inexacts concepts. Synthese, 1967.
6. P. Martin-Löf. lntuitionistic type theory. Bibliopolis, 1984.
7. P. Martin-Löf. On the meanings of the logical constants and the justifications of the logical laws. In Atti degli incontri di logical mathematica, volume 2, pages 203-281. Università di Siena, 1985.
8. A. Ranta. Propositions as games as types. Synthese, 76:377-395, 1988.
9. A. Ranta. Intuitionistic categorial grammar. Linguistics and Philosophy, 14:203-239, 1991.
10. A. Ranta. Type-theoretical grammar. Clarendon, Oxford, 1994.
11. S. Shapiro. Logic, ontology, mathematical practice. Synthese, 79:13-50, 1989.
12. G. Sundholm. Proof theory and meaning. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 3. D. Reidel, 1986.
13. G. Sundholm. Constructive generalized quantifiers. Synthese, 79:1-12, 1989.
14. G. Sundholm. Proof-theoretical semantics and fregean identity criteria for propositions. The Monist, 77(3):294-314, 1994.