7 found
Sort by:
  1. Christophe Fouqueré & Myriam Quatrini (2013). Argumentation and Inference: A Unified Approach. Baltic International Yearbook of Cognition, Logic and Communication 8 (1).
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Alain Lecomte & Myriam Quatrini (2011). Figures of Dialogue: A View From Ludics. Synthese 183 (S1):59-85.
    In this paper, we study dialogue as a game, but not only in the sense in which there would exist winning strategies and a priori rules. Dialogue is not governed by game rules like for chess or other games, since even if we start from a priori rules, it is always possible to play with them, provided that some invariant properties are preserved. An important discovery of Ludics is that such properties may be expressed in geometrical terms. The main feature (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Marie-Renée Fleury & Myriam Quatrini (2007). A Mixed Λ-Calculus. Studia Logica 87 (2-3):269 - 294.
    The aim of this paper is to define a λ-calculus typed in aMixed (commutative and non-commutative) Intuitionistic Linear Logic. The terms of such a calculus are the labelling of proofs of a linear intuitionistic mixed natural deduction NILL, which is based on the non-commutative linear multiplicative sequent calculus MNL [RuetAbrusci 99]. This linear λ-calculus involves three linear arrows: two directional arrows and a nondirectional one (the usual linear arrow). Moreover, the -terms are provided with seriesparallel orders on free variables. We (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Olivier Laurent, Myriam Quatrini & Lorenzo Tortora de Falco (2005). Polarized and Focalized Linear and Classical Proofs. Annals of Pure and Applied Logic 134 (2):217-264.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Claudia Faggian, Marie-Renée Fleury-Donnadieu & Myriam Quatrini (2004). Institut de Mathématiques de Luminy. In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. 316--236.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Claudia Faggian Marie-Renee Fleury-Donnadieu & Myriam Quatrini (2004). Institut de Mathematiques de Lummg. In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. 236.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. Myriam Quatrini (1996). A Denotational Semantics ofLC2. Archive for Mathematical Logic 35 (1):1-32.
    The aim of this paper is to extend the classical sequent calculusLC to the second order. This task is realized by a semantical approach mixing the correlation spaces semantics ofLC on the one hand, and the analogy with the interpretation of systemF in coherent spaces on the other hand. This relies on the introduction of a new semantical object:noetherian correlation spaces.From the semantics we deduce the syntax of the second order classical sequent calculusLC2.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation