4 found
Order:
  1.  21
    A micrological study of negation.Paul-André Melliès - 2017 - Annals of Pure and Applied Logic 168 (2):321-372.
  2.  72
    Resource modalities in tensor logic.Paul-André Melliès & Nicolas Tabareau - 2010 - Annals of Pure and Applied Logic 161 (5):632-653.
    The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more primitive than game semantics. Here, we defend the opposite view, and thus advocate that game semantics is conceptually more primitive than linear logic. This revised point of view leads us to introduce tensor logic, a primitive variant of linear logic where negation is not involutive. After formulating its categorical semantics, we interpret tensor logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. A topological correctness criterion for non-commutative logic.Paul-André Mellies - 2004 - In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. pp. 283--323.
     
    Export citation  
     
    Bookmark  
  4. CNRS. Universite Paris 7.Paul-Andre Mellies - 2004 - In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. pp. 316--283.
    No categories
     
    Export citation  
     
    Bookmark