Search Results for author:
Found 12 papers, 0 papers with code
Logical Semantics, Dialogical Argumentation, and Textual Entailment
In this chapter, we introduce a new dialogical system for first order classical logic which is close to natural language argumentation, and we prove its completeness with respect to usual classical validity.
Natural Language Semantics and Computability
This paper is a reflexion on the computability of natural language semantics.
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture)
In the sequel, we propose a treatment of determiners and quantifiers as Hilbert terms in a richly typed system that we initially developed for lexical semantics, using a many sorted logic for semantical representations.
Category theory, logic and formal linguistics: some connections, old and new
We seize the opportunity of the publication of selected papers from the \emph{Logic, categories, semantics} workshop in the \emph{Journal of Applied Logic} to survey some current trends in logic, namely intuitionistic and linear type theories, that interweave categorical, geometrical and computational considerations.
Deverbal semantics and the Montagovian generative lexicon
We propose a lexical account of action nominals, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb.
Plurals: individuals and sets in a richly typed semantics
We developed a type-theoretical framework for natural lan- guage semantics that, in addition to the usual Montagovian treatment of compositional semantics, includes a treatment of some phenomena of lex- ical semantic: coercions, meaning, transfers, (in)felicitous co-predication.
Semantic Types, Lexical Sorts and Classifiers
We propose a cognitively and linguistically motivated set of sorts for lexical semantics in a compositional setting: the classifiers in languages that do have such pronouns.
Logique mathématique et linguistique formelle
As the etymology of the word shows, logic is intimately related to language, as exemplified by the work of philosophers from Antiquity and from the Middle-Age.
Learning Lambek grammars from proof frames
In the present paper we show that Lambek grammars, possibly with product, are learnable from proof frames that are incomplete proof nets.
Advances in the Logical Representation of Lexical Semantics
The integration of lexical semantics and pragmatics in the analysis of the meaning of natural lan- guage has prompted changes to the global framework derived from Montague.
Sémantique des déterminants dans un cadre richement typé
The variation of word meaning according to the context leads us to enrich the type system of our syntactical and semantic analyser of French based on categorial grammars and Montague semantics (or lambda-DRT).
A type theoretical framework for natural language semantics: the Montagovian generative lexicon
We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many sorted higher order logic.
