فهرس المقالات Antonio Di Nola


  • المقاله

    1 - Forensic Dynamic Lukasiewicz Logic
    Transactions on Fuzzy Sets and Systems , العدد 2 , السنة 1 , پاییز-زمستان 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 أکثر
    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‎. تفاصيل المقالة