| 1 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Proofs as games and games as proofs: dialogical semantics for logic and natural language. ; Les preuves vues comme des jeux et réciproquement : sémantique dialogique de langages naturels ou logiques.
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03553000 ; Logic in Computer Science [cs.LO]. Université de Montpellier, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Pomset logic: a logical and grammatical alternative to the Lambek calculus
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02431876 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
A computational account of virtual travelers in the Montagovian generative lexicon
|
|
|
|
In: The Semantics of Dynamic Space in French ; https://hal.archives-ouvertes.fr/hal-02093536 ; Michel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩ ; https://benjamins.com/catalog/hcp.66.09lef (2019)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Measuring Linguistic Complexity: Introducing a New Categorial Metric
|
|
|
|
In: Logic and Algorithms in Computational Linguistics 2018, Series: Advances in Intelligent Systems and Computing ; Symposium on Logic and Algorithms in Computational Linguistics (LACompLing 2018) ; https://hal.archives-ouvertes.fr/hal-02146506 ; Symposium on Logic and Algorithms in Computational Linguistics (LACompLing 2018), Aug 2018, Stockholm, Sweden. pp.95-123, ⟨10.1007/978-3-030-30077-7_5⟩ ; http://staff.math.su.se/rloukanova/LACompLing2018-web/ (2018)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
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
|
|
|
| 7 |
An outline of type-theoretical approaches to lexical semantics
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01802968 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (2), pp.165-178. ⟨10.15398/jlm.v5i2.200⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Special issue on type-theoretical approaches to lexical semantics
|
|
|
|
In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01803758 ; France. Journal of Language Modelling, 5 (2 ), 2017 ; http://jlm.ipipan.waw.pl/index.php/JLM/issue/view/16 (2017)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics
|
|
|
|
In: Modern Perspectives in Type-Theoretical Semantics ; https://hal.archives-ouvertes.fr/hal-01471256 ; Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), pp.163-188, 2017, 978-3-319-50422-3. ⟨10.1007/978-3-319-50422-3_7⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
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
|
|
|
| 11 |
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
|
|
|
| 12 |
Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01584832 ; Aug 2015, Barcelona, Spain. 2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Are Books Events? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as Entailment
|
|
|
|
In: 12th annual International Workshop on Logic and Engineering of Natural Language Semantics ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01311120 ; LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan. pp.74-87 ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls12/index.html (2015)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
A Case Study of Copredication over a Deverbal that Reconciles Empirical Data with Computational Semantics
|
|
|
|
In: 12th annual International Workshop on Logic and Engineering of Natural Language Semantics ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01311129 ; LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls12/index.html (2015)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
From Natural Language to RDF Graphs with Pregroups
|
|
|
|
In: 14th Workshop on Type Theory and Natural Language Semantics ; TTNLS: Type Theory and Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00992381 ; TTNLS: Type Theory and Natural Language Semantics, Apr 2014, Gothenburg, Sweden. pp.55-62, ⟨10.3115/v1/W14-1407⟩ ; http://eacl2014.org (2014)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Deverbal semantics and the Montagovian generative lexicon ΛTyn
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.archives-ouvertes.fr/hal-01120689 ; Journal of Logic, Language and Information, Springer Verlag, 2014, 23 (3), pp.347-366. ⟨10.1007/s10849-014-9187-y⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Natural Language Semantics in Biproduct Dagger Categories
|
|
|
|
In: ISSN: 1570-8683 ; Journal of Applied Logic ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00860382 ; Journal of Applied Logic, Elsevier, 2014, 12, pp.88-108. ⟨10.1016/j.jal.2013.08.001⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
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
|
|
|
| 19 |
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01071642 ; IfColog Journal of Logics and their Applications (FLAP), College Publications, 2014, 1 (1), pp.53-94 ; http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf (2014)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
From Functional to Distributional Models
|
|
|
|
In: Quantum Physics and Logic 2013 ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00840150 ; Quantum Physics and Logic 2013, Jul 2013, Barcelona, Spain. pp.17 (2013)
|
|
BASE
|
|
Show details
|
|
|
|
|
