4 found
Order:
  1.  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  
  2.  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  
  3.  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).
  4.  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