Switch to: Citations

Add references

You must login to add references.
  1. Pragmatic and dialogic interpretations of bi-intuitionism. Part I.Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi & Alessandro Menti - 2014 - Logic and Logical Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On classical behavior of intuitionistic modalities.Sergey Deobyshevich - 2014 - Logic and Logical Philosophy 24 (1):79-104.
    We study connections between four types of modal operators – necessity, possibility, un-necessity and impossibility – over intuitionitstic logic in terms of compositions of these modal operators with intuitionistic negation. We investigate which basic compositions, i.e. compositions of the form ¬δ, δ¬ or ¬δ¬, yield modal operators of the same type over intuitionistic logic as over classical logic. We say that such compositions behave classically. We study which modal properties correspond to each basic compositions behaving classically over intuitionistic logic and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A micrological study of negation.Paul-André Melliès - 2017 - Annals of Pure and Applied Logic 168 (2):321-372.
    Download  
     
    Export citation  
     
    Bookmark   1 citation