research
∙
12/30/2021
Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces
After reminding what coherences spaces are and how they interpret linear...
research
∙
08/17/2020
Logical Semantics, Dialogical Argumentation, and Textual Entailment
In this chapter, we introduce a new dialogical system for first order cl...
research
∙
01/07/2020
Pomset logic: a logical and grammatical alternative to the Lambek calculus
Thirty years ago, I introduced a non commutative variant of classical li...
research
∙
05/13/2016
Natural Language Semantics and Computability
This paper is a reflexion on the computability of natural language seman...
research
∙
06/18/2014