Switch to: References

Add citations

You must login to add citations.
  1. Probability Logics for Reasoning About Quantum Observations.Angelina Ilić Stepić, Zoran Ognjanović & Aleksandar Perović - 2023 - Logica Universalis 17 (2):175-219.
    In this paper we present two families of probability logics (denoted _QLP_ and \(QLP^{ORT}\) ) suitable for reasoning about quantum observations. Assume that \(\alpha \) means “O = a”. The notion of measuring of an observable _O_ can be expressed using formulas of the form \(\square \lozenge \alpha \) which intuitively means “if we measure _O_ we obtain \(\alpha \) ”. In that way, instead of non-distributive structures (i.e., non-distributive lattices), it is possible to relay on classical logic extended with (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Modal translation of substructural logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.
    In 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 (variants of) BCI and stronger systems (BCW, BCK), 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 (indeed, every non-distributive) logic is a fragment of a corresponding sorted, residuated (multi) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation