Constructive Analysis of Intensional Phenomena in Natural Language (original) (raw)
Related papers
Type-theoretic logic with an operational account of intensionality
Synthese, 2014
Propositions, Questions, and Adjectives: a rich type theoretic approach
2015
Types and Meanings in Intensionality, Selection and Quantifi er Scope
Type Theory and Natural Language: Do We Need Two Basic Types? 1
2012
Towards a Type-Theoretical Account of Lexical Semantics
Journal of Logic, Language and Information, 2010
Procedural Semantics for Hyperintensional Logic
2010
Type Construction and the Logic of Concepts
The Language of Word Meaning, 2001
Modern Type Theories for Natural Language Semantics ( Introductory Course in Language and Logic )
2016
Intensionality, grammar, and the sententialist hypothesis
Logical types and linguistic types
Tertium Non Datur, 1986
Principia: an international journal of epistemology, 2011
Logical aspects of computational linguistics
1999
Adjectival and Adverbial Modification: The View from Modern Type Theories
Journal of Logic, Language and Information, 2017
Type-shifting in formal semantics of natural languages
Structured lexical concepts, property modifiers, and Transparent Intensional Logic
Philosophical Studies, DOI: 10.1007/s11098-014-0305-0
An outline of type-theoretical approaches to lexical semantics
Journal of Language Modelling, 2017
Adjectives in a Modern Type-Theoretical Setting
Lecture Notes in Computer Science, 2013
Factivity and presupposition in Dependent Type Semantics
Journal of Language Modelling, 2017
In 7th Amsterdam Colloquium
A Higher-Order Theory of Presupposition
A2. Philosophical Logic Hyperintension, intension, extension
2016
"Structured Propositions in a Generative Grammar", forthcoming in Mind
Intensional Verbs Without Type-Raising or Lexical Ambiguity
1994
On the Interpretation of Common Nouns: Types Versus Predicates
Studies in Linguistics and Philosophy, 2017
Logic and Intensionality DOI:10.5007/1808-1711.2010v14n1p111
Principia: An International Journal of Epistemology, 2011
Type-theoretical semantics with coercive subtyping
Semantics and Linguistic Theory, 2010
Constructive Type Theory and the Dialogical Approach to Meaning
Baltic International Yearbook of Cognition, Logic and Communication, 2013
Heads and Phrases. Type Calculus for Dependency and Constituent Structure