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
