7 found
Order:
See also
Gianluigi Bellin
Università degli Studi di Verona
  1.  75
    On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  12
    Pragmatic and Dialogic Interpretations of Bi-Intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  28
    A System of Natural Deduction for GL.Gianluigi Bellin - 1985 - Theoria 51 (2):89-114.
  4.  9
    Pragmatic and Dialogic Interpretations of Bi-Intuitionism. Part 1.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy 23 (4):449-480.
    We consider a “polarized” version of bi-intuitionistic logic [5, 2, 6, 4] as a logic of assertions and hypotheses and show that it supports a “rich proof theory” and an interesting categorical interpretation, unlike the standard approach of C. Rauszer’s Heyting-Brouwer logic [28, 29], whose categorical models are all partial orders by Crolard’s theorem [8]. We show that P.A. Melliès notion of chirality [21, 22] appears as the right mathematical representation of the mirror symmetry between the intuitionistic and co-intuitionistc sides (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    Errata Corrige to “Pragmatic and Dialogic Interpretation of Bi-Intuitionism. Part I”.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2016 - Logic and Logical Philosophy 25 (2).
  6.  9
    Pragmatic and Dialogic Interpretations of Bi-Intuitionism. Part II.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. On the [Pi]-Calculus and Linear Logic.Gianluigi Bellin & P. J. Scott - 1992 - LFCS, Department of Computer Science, University of Edinburgh.
     
    Export citation  
     
    Bookmark