AbstractThe paper considers the issue of different type-logical semantic definitions (of some natural language fragment) being “essentially” the same, though expressed using different type-systems. A definition of the equivalence is suggested, and is applied to four definitions of a very simple extensional fragment of English
Montague\u27s linguistic theory provides a completely formalized account of language in general and ...
We propose a Proof-Theoretic Semantics (PTS) for a fragment E+0 (delineated below, and extended in t...
AbstractConcerning the logical description languages, in the past 40–50 years many authors have intr...
AbstractThe paper considers the issue of different type-logical semantic definitions (of some natura...
International audienceThis paper presents and extends our type theoretical framework for a compositi...
We argue that logical semantics might have faltered due to its failure in distinguishing between two...
A novel logic-based framework for representing the syntax–semantics interface of natural language, a...
This paper represents categorial grammar as an implicational type theory in the spirit of Girard&apo...
International audienceThis paper proposes a way to compute the meanings associated with sentences wi...
The type theoretic framework for natural language semantics laid out by Montague (1973) forms the co...
To appear in Types 2013 PostProceedingsWe present a framework, named the Montagovian generative lexi...
Expressively equivalent logical languages can enunciate logical notions in notationally diversified ...
This paper develops a semantics for a fragment of English that is based on the idea of `impossible p...
The proposition-as-types correspondence applied to first-order log- ical theories and the associated...
In formal semantics of natural languages, lexical items are considered to have types. For example, E...
Montague\u27s linguistic theory provides a completely formalized account of language in general and ...
We propose a Proof-Theoretic Semantics (PTS) for a fragment E+0 (delineated below, and extended in t...
AbstractConcerning the logical description languages, in the past 40–50 years many authors have intr...
AbstractThe paper considers the issue of different type-logical semantic definitions (of some natura...
International audienceThis paper presents and extends our type theoretical framework for a compositi...
We argue that logical semantics might have faltered due to its failure in distinguishing between two...
A novel logic-based framework for representing the syntax–semantics interface of natural language, a...
This paper represents categorial grammar as an implicational type theory in the spirit of Girard&apo...
International audienceThis paper proposes a way to compute the meanings associated with sentences wi...
The type theoretic framework for natural language semantics laid out by Montague (1973) forms the co...
To appear in Types 2013 PostProceedingsWe present a framework, named the Montagovian generative lexi...
Expressively equivalent logical languages can enunciate logical notions in notationally diversified ...
This paper develops a semantics for a fragment of English that is based on the idea of `impossible p...
The proposition-as-types correspondence applied to first-order log- ical theories and the associated...
In formal semantics of natural languages, lexical items are considered to have types. For example, E...
Montague\u27s linguistic theory provides a completely formalized account of language in general and ...
We propose a Proof-Theoretic Semantics (PTS) for a fragment E+0 (delineated below, and extended in t...
AbstractConcerning the logical description languages, in the past 40–50 years many authors have intr...
DOI
Add to ORKG