• Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures (edited book)
    with Rainer Osswald and Peter Sutton
    Association for Computational Linguistics. 2019.
  •  10
    Natural Language Semantics and Computability
    with Richard Moot
    Journal of Logic, Language and Information 28 (2): 287-307. 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 type-logical 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
  •  1
    Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (edited book)
    with Maxime Amblard, Philippe de Groote, and Sylvain Pogodalla
    Springer. 2016.
  •  13
    Quantification in Ordinary Language and Proof Theory
    with Michele Abrusci and Fabio Pasquali
    Philosophia Scientae 20 185-205. 2016.
  •  7
    Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n
    with Livy Real
    Journal of Logic, Language and Information 23 (3): 347-366. 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
  •  16
    Logical Aspects of Computational Linguistics (LACL'01)
    with Philippe de Groote and Glyn Morrill
    In P. Bouquet (ed.), Lecture Notes in Artificial Intelligence, Kluwer Academic Publishers. 2001.
  •  36
    A faithful representation of non-associative Lambek grammars in abstract categorial grammars
    with Sylvain Salvati
    Journal of Logic Language and Information 19 (2): 185-200. 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 Non-Associative 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 the
    Journal 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"
  •  7
    A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
    with Sylvain Salvati
    Journal of Logic, Language and Information 19 (2): 185-200. 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 Non-Associative 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.
  •  57
    This 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
  • This a special issue of the Journal of Logic Language and Information that I edited.
  •  10
    Deverbal Semantics and the Montagovian Generative Lexicon Lambda !mathsf {Ty}_n
    with Livy Real
    Journal of Logic Language and Information 23 (3): 347-366. 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
  •  12
    Introduction
    Journal of Logic, Language and Information 7 (4): 395-398. 1998.
  •  126
    Towards a type-theoretical account of lexical semantics
    with Christian Bassac and Bruno Mery
    Journal of Logic, Language and Information 19 (2): 229-245. 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 Montague-style semantics at the lexical level in order to complete the full analysis of an utterance, we summarize the current formulations of a well-known 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