Year:

  1.  2
    Modal Translation of Substructural Logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.
    ABSTRACTIn an article dating back in 1992, Kosta Došen initiated a project of modal translations in substructural logics, aiming at generalising the well-known Gödel–McKinsey–Tarski translation of intuitionistic logic into S4. Došen's translation worked well for BCI and stronger systems, but not for systems below BCI. Dropping structural rules results in logic systems without distribution. In this article, we show, via translation, that every substructural logic is a fragment of a corresponding sorted, residuated modal logic. At the conceptual and philosophical level, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. The Logic of Modal Changes LMC.Marcin Łyczak - 2020 - Journal of Applied Non-Classical Logics 30 (1):50-67.
    ABSTRACTThe logic of change formulated by K. Świętorzecka, has its motivation coming from the Aristotelian theory of substantial change which is undrstood as a transformation consisting in the disappearing and becoming of individual substances. The transition: becoming/disapearing is expressed in by the primitive operator C, to be read: it changes that …, and it is mapped by the progressively expanding language. We are interested in attributive changes of individual substances. We consider a formalism with two non-normal and not mutually definable (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues