| 1 |
Pomset logic: a logical and grammatical alternative to the Lambek calculus
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02431876 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
L'approche logique des grammaires catégorielles : une syntaxe tournée vers la sémantique
|
|
|
|
In: ISSN: 0182-5887 ; Verbum (Presses Universitaires de Nancy) ; https://hal.archives-ouvertes.fr/hal-02093509 ; Verbum (Presses Universitaires de Nancy), Université de Nancy II, 2018, XL (2), pp.237-267 (2018)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
From logical and linguistic generics to Hilbert’s tau and epsilon quantifiers
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803717 ; IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, Hilbert’s epsilon and tau in Logic, Informatics and Linguistics, 4 (2), pp.231-256 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01803760 ; France. IfColog Journal of Logics and their Applications (FLAP), 4 (2), College Publications, 2017 ; http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf (2017)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Quantifier scope: a formal and experimental study
|
|
|
|
In: 9e Colloque des Jeunes Chercheurs en Sciences Cognitives ; CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives ; https://hal.archives-ouvertes.fr/hal-01194934 ; CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives, Jun 2015, Compiègne, France ; http://cjcsc.sciencesconf.org (2015)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases
|
|
|
|
In: 19th Conference on Formal Grammar held in conjunction with the 26th European Summer School in Logic, Language and Information (ESSLLI) ; FG: Formal Grammar ; https://hal.archives-ouvertes.fr/hal-01009753 ; FG: Formal Grammar, Aug 2014, Tübingen, Germany. pp.15-33, ⟨10.1007/978-3-662-44121-3_2⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Category theory, logic and formal linguistics: some connections, old and new
|
|
|
|
In: ISSN: 1570-8683 ; Journal of Applied Logic ; https://hal.archives-ouvertes.fr/hal-00936338 ; Journal of Applied Logic, Elsevier, 2014, 12 (1), pp.1-13. ⟨10.1016/j.jal.2014.01.001⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Logique mathématique et linguistique formelle
|
|
|
|
In: Leçons de mathématiques d'aujourd'hui ; https://hal.archives-ouvertes.fr/hal-00607693 ; Géraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics
|
|
|
|
In: 19th International Conference on Types for Proofs and Programs (TYPES 2013) ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-01009838 ; TYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Some proof theoretical remarks on quantification in ordinary language
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779223 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Type-theoretical natural language semantics: on the system F for meaning assembly
|
|
|
|
In: TYPES 2013 book of abstracts ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-00799685 ; TYPES 2013, Apr 2013, Toulouse, France. pp.64--65 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most"
|
|
|
|
In: ISSN: 0986-6124 ; EISSN: 1958-9239 ; Recherches linguistiques de Vincennes ; https://hal.archives-ouvertes.fr/hal-00677312 ; Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2012, 41, pp.83-102 (2012)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
On the system F as a glue language for natural-language compositional-semantics
|
|
|
|
In: https://hal.inria.fr/inria-00616704 ; 2011 (2011)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Specimens: "most of" generic NPs in a contextually flexible type theory
|
|
|
|
In: Genius III ; https://hal.inria.fr/inria-00637326 ; Genius III, Dec 2011, Paris, France (2011)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Quantification in ordinary language ; Quantification in ordinary language: from a critique of set-theoretic approaches to a proof-theoretic proposal
|
|
|
|
In: 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE ; https://hal.archives-ouvertes.fr/hal-00607678 ; 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, Jul 2011, Nancy, France. http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf (2011)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Quantification and interaction
|
|
|
|
In: Rebuilding logic and rethinking language in interaction terms (CLMPS workshop) ; https://hal.archives-ouvertes.fr/hal-00607676 ; Rebuilding logic and rethinking language in interaction terms (CLMPS workshop), Jul 2011, France (2011)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Categorial Minimalist Grammar: From Generative Syntax To Logical Form
|
|
|
|
In: ISSN: 0098-9053 ; Linguistic Analysis ; https://hal.archives-ouvertes.fr/hal-00545748 ; Linguistic Analysis, David R. Willingham, 2010, 36 (1--4), pp.273--306 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Proof nets without links for Lambek calculus and partially commutative linear logic
|
|
|
|
In: 50 years of the Syntactic calculus ; https://hal.archives-ouvertes.fr/hal-00409487 ; 50 years of the Syntactic calculus, Jul 2008, Chieti, Italy (2008)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
|
|
|
|
In: Computation and Logic in the Real World (Computing in Europe 2007) ; https://hal.archives-ouvertes.fr/hal-00409486 ; Computation and Logic in the Real World (Computing in Europe 2007), Jun 2007, Siena, Italy. pp.28--44 (2007)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla)
|
|
|
|
In: GEOCAL Workshop on logic and linguistics ; https://hal.archives-ouvertes.fr/hal-00418580 ; GEOCAL Workshop on logic and linguistics, Feb 2006, Marseille, France (2006)
|
|
BASE
|
|
Show details
|
|
|
|
|
