• Home
  • Revaz Grigolia

    List of Articles Revaz Grigolia


  • Article

    1 - Forensic Dynamic Lukasiewicz Logic
    Transactions on Fuzzy Sets and Systems , Issue 2 , Year , Autumn_Winter 2022
    A forensic dynamic $n$-valued {\L}ukasiewicz logic $FD{\L}_n$ is introduced on the base of $n$-valued {\L}ukasiewicz logic ${\L}_n$ and corresponding to it forensic dynamic $MV_n$-algebra ($FDL_n$-algebra)‎, ‎$1 < n < \omega$‎, ‎which are algebraic counterparts of the More
    A forensic dynamic $n$-valued {\L}ukasiewicz logic $FD{\L}_n$ is introduced on the base of $n$-valued {\L}ukasiewicz logic ${\L}_n$ and corresponding to it forensic dynamic $MV_n$-algebra ($FDL_n$-algebra)‎, ‎$1 < n < \omega$‎, ‎which are algebraic counterparts of the logic‎, ‎that in turn represent two-sorted algebras $(\mathcal{M}‎, ‎\mathcal{R}‎, ‎\Diamond)$ that combine the varieties of $MV_n$-algebras $\mathcal{M} = (M‎, ‎\oplus‎, ‎\odot‎, ‎\sim‎, ‎0,1)$ and regular algebras $\mathcal{R} = (R,\cup‎, ‎;‎, ‎^\ast)$ into a single finitely axiomatized variety resemblig $R$-module with‎ ‎"scalar"‎ ‎multiplication $\Diamond$‎. ‎Kripke semantics is developed for forensic dynamic {\L}ukasiewicz logic $FD{\L}_n$ with application to Digital Forensics‎. Manuscript profile