
Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures (edited book)Association for Computational Linguistics. 2019.

10Natural Language Semantics and ComputabilityJournal of Logic, Language and Information 28 (2): 287307. 2019.This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis, in the context for typelogical grammars, of the logical models and algorithms currently used in natural language semantics, defined as a function from a grammatical sentence to a set of logical formulas—because a statement can be ambiguous, it can correspond to multiple formulas, one for e…Read more

1Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (edited book)Springer. 2016.

7Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty nJournal of Logic, Language and Information 23 (3): 347366. 2014.We propose a lexical account of event nouns, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb. The literature on nominalisations often assumes that the semantics of the base verb completely defines the structure of action nominals. We argue that the information in the base verb is not sufficient to completely determine the semantics of action nominals. We exhibit some data from different languages, especially from Romance language, whi…Read more

16Logical Aspects of Computational Linguistics (LACL'01)In P. Bouquet (ed.), Lecture Notes in Artificial Intelligence, Kluwer Academic Publishers. 2001.

36A faithful representation of nonassociative Lambek grammars in abstract categorial grammarsJournal of Logic Language and Information 19 (2): 185200. 2010.This paper solves a natural but still open question: can abstract categorial grammars (ACGs) respresent usual categorial grammars? Despite their name and their claim to be a unifying framework, up to now there was no faithful representation of usual categorial grammars in ACGs. This paper shows that NonAssociative Lambek grammars as well as their derivations can be defined using ACGs of order two. To conclude, the outcome of such a representation are discussed.

Recent advances in logical and algebraic approaches to grammar. Special issue of theJournal of Logic Language and Information 7 (4). 1998.This is a short introduction to a special issue of the Journal on Logic, Language and Information, dealing with "recent advances in logical and algebraic approaches to computational linguistics"

2Category theory, logic and formal linguistics: Some connections, old and newJournal of Applied Logic 12 (1): 113. 2014.

7A Faithful Representation of NonAssociative Lambek Grammars in Abstract Categorial GrammarsJournal of Logic, Language and Information 19 (2): 185200. 2010.This paper solves a natural but still open question: can abstract categorial grammars respresent usual categorial grammars? Despite their name and their claim to be a unifying framework, up to now there was no faithful representation of usual categorial grammars in ACGs. This paper shows that NonAssociative Lambek grammars as well as their derivations can be defined using ACGs of order two. To conclude, the outcome of such a representation are discussed.

57This paper surveys the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this general setting departs from empirical linguistic data, and give some hints for a different view based on proof theory, which on many aspects gets closer to the language itself. We stress the importance of Hilbert's oper ator epsilon and tau for, respectively, existential and universal quantifications. Indeed, these operators help a lot …Read more

Special Issue on Recent Advances in Logical and Algebraic Approaches to Grammar, volume 7 (4) ofJournal of Logic Language and Information. forthcoming.This a special issue of the Journal of Logic Language and Information that I edited.

10Deverbal Semantics and the Montagovian Generative Lexicon Lambda !mathsf {Ty}_nJournal of Logic Language and Information 23 (3): 347366. 2014.We propose a lexical account of event nouns, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb. The literature on nominalisations often assumes that the semantics of the base verb completely defines the structure of action nominals. We argue that the information in the base verb is not sufficient to completely determine the semantics of action nominals. We exhibit some data from different languages, especially from Romance language, whi…Read more

126Towards a typetheoretical account of lexical semanticsJournal of Logic, Language and Information 19 (2): 229245. 2010.After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle semantics at the lexical level in order to complete the full analysis of an utterance, we summarize the current formulations of a wellknown theory of that field. We then propose and justify our own model of the Generative Lexicon Theory, based upon a variation of classical compositional semantics, and outline its formalizatio…Read more
Areas of Specialization
Philosophy of Language 
Logic and Philosophy of Logic 
Philosophy of Mathematics 
Areas of Interest
Philosophy of Language 
Logic and Philosophy of Logic 