A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions
Studia Logica 100 (4):815-853 (2012)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPeter Pagin & Dag Westerståhl (1993). Predicate Logic with Flexibly Binding Operators and Natural Language Semantics. Journal of Logic, Language and Information 2 (2):89-128.
Aarne Ranta (1998). Syntactic Calculus with Dependent Types. Journal of Logic, Language and Information 7 (4):413-431.
Syed S. Ali & Stuart C. Shapiro (1993). Natural Language Processing Using a Propositional Semantic Network with Structured Variables. Minds and Machines 3 (4):421-451.
Maria Bittner (1999). Concealed Causatives. Natural Language Semantics 7 (1):1-78.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
Giuseppe Primiero (2012). A Contextual Type Theory with Judgemental Modalities for Reasoning From Open Assumptions. Logique and Analyse 220:579-600.
Herman Cappelen (2008). The Creative Interpreter: Content Relativism and Assertion. Noûs 42 (1):23 - 46.
William Tait (2006). Godel's Interpretation of Intuitionism. Philosophia Mathematica 14 (2):208-228.
Chongli Zou & Nianxi Xia (2008). A Formal Treatment of the Causative Constructions in Chinese. Frontiers of Philosophy in China 3 (2):307-316.
Byeong-Uk Yi (2005). The Logic and Meaning of Plurals. Part I. Journal of Philosophical Logic 34 (5-6):459-506.
Krasimir Angelov, Björn Bringert & Aarne Ranta (2010). Pgf: A Portable Run-Time Format for Type-Theoretical Grammars. Journal of Logic, Language and Information 19 (2).
Lynsey Wolter (2009). Demonstratives in Philosophy and Linguistics. Philosophy Compass 4 (3):451-468.
Johan Bos (2004). Computational Semantics in Discourse: Underspecification, Resolution, and Inference. Journal of Logic, Language and Information 13 (2):139-157.
Analytics
Monthly downloads |
Added to index2012-08-16Total downloads9 ( #114,188 of 549,510 )Recent downloads (6 months)1 ( #63,397 of 549,510 )How can I increase my downloads? |
My notes
Discussion
