Book contents
- Frontmatter
- Preface
- Contents
- PART I PROOF THEORETIC ANALYSIS
- PART II LOGIC AND COMPUTATION
- A pragmatic interpretation of substructural logics
- Computational complexity and induction for partial computable functions in type theory
- Computability theory: structure or algorithms
- Three processes in natural language interpretation
- Infinitary initial algebra specifications for stream algebras
- PART III APPLICATIVE AND SELF-APPLICATIVE THEORIES
- PART IV PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
- Symposium program
- References
Three processes in natural language interpretation
from PART II - LOGIC AND COMPUTATION
Published online by Cambridge University Press: 31 March 2017
By
Book contents
- Frontmatter
- Preface
- Contents
- PART I PROOF THEORETIC ANALYSIS
- PART II LOGIC AND COMPUTATION
- A pragmatic interpretation of substructural logics
- Computational complexity and induction for partial computable functions in type theory
- Computability theory: structure or algorithms
- Three processes in natural language interpretation
- Infinitary initial algebra specifications for stream algebras
- PART III APPLICATIVE AND SELF-APPLICATIVE THEORIES
- PART IV PHILOSOPHY OF MODERN MATHEMATICAL AND LOGICAL THOUGHT
- Symposium program
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Reflections on the Foundations of MathematicsEssays in Honor of Solomon Feferman, pp. 208 - 227Publisher: Cambridge University PressPrint publication year: 2002
References
[1] , Frege structures and the notions of proposition, truth and set, The Kleene symposium (, , and , editors), North-Holland, Amsterdam, 1980.
[2] and , Discourse representation meets constructive mathematics, Papers from the second symposium on logic and language ( and , editors), Akadémiai Kiadó, Budapest, 1990.
[4] and , Extended Kamp notation: a graphical notation for situation theory, Situation theory and its applications (, , , and , editors), vol. 3, CSLI Lecture Notes Number 37, Stanford, 1993.
[5] , Presupposition, Handbook of logic and language ( and , editors), Elsevier, 1997.
[6] , Modal pure type systems, Journal of Logic, Language and Information, vol. 7 (1998), pp. 265-296.Google Scholar
[7] , Mixing situation theory and type theory to formalize information states in dialogue exchanges, Formal semantics and pragmatics of dialogue, Twente, the Netherlands, 1998.
[8] , A language and axioms for explicit mathematics, Algebra and logic (, editor), LNM 450, Springer-Verlag, Berlin, 1975.
[9] , Turing in the land of 0(z), The universal Turing machine (, editor), Oxford University Press, Oxford, 1988.
[10] , Polymorphic typed lambda-calculi in a type-free axiomatic framework, Logic and computation, Contemporary Mathematics, vol. 106, A.M.S., Providence, 1990.
[11] Tim Fernando, A modal logic for non-deterministic discourse processing, Journal of Logic, Language and Information, vol. 8 (1999), pp. 445-468. Corrigendum: the axiom scheme ≡ (>) in §6 (p.465) should be weakened to (>).
[12] , Atype reduction from proof-conditional to dynamic semantics, Journal of Philosophical Logic, vol. 30 (2001), pp. 121-153.
[13] , Discourse representation, type theory and property theory, Proc. international workshop on computational semantics (, , and , editors), ITK, Tilburg, 1994.
[14] , Pragmatics: Implicature, presupposition and logical form, Academic Press, New York, 1979.
[15] and , Nominalization, predication and type containment, Journal of Logic, Language and Information, vol. 2 (1993), pp. 171-215.Google Scholar
[16] and , From discourse to logic, Kluwer Academic Publishers, Dordrecht, 1993.
[17] , Events, instants and temporal reference, Semantics from different points of view (, , and , editors), Springer, Berlin, 1979.
[18] , Prolegomena to a structural account of belief and other attitudes, Propositional attitudes ( and , editors), CSLI Lecture Notes Number 20, Stanford, 1990.
[19] , Presupposition and linguistic context, Theoretical Linguistics, (1974), pp. 181-194.Google Scholar
[20] and , Presupposition projection as proof construction, Computing meaning, Kluwer Academic Publishers, Dordrecht, 1999.
[21] , Presupposition and abduction in type theory, Computational logic and natural language processing, South Queensferry, Scotland, 1995.
[22] , Intuitionistic type theory, Bibliopolis, Napoli, 1984, Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980.
[23] and , Formalizing context (expanded notes), Computing natural language (, , and , editors), CSLI Lecture Notes Number 81, Stanford, 1997.
[24] , English as a formal language, Formal philosophy (R. Thomason, editor), Yale University Press, New Haven, 1974.
[25] , Type-theoretical grammar, Oxford University Press, Oxford, 1994.
[26], Grammatical framework tutorial, Available at http://www.xrce.xerox.com/ research/mltt/gf/home.html, 1999.
[27] , Proof theory and meaning, Handbook of philosophical logic ( and , editors), vol. 3, Reidel, Dordrecht, 1986.