Forensic Dynamic Lukasiewicz Logic
سال انتشار: 1401
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 147
فایل این مقاله در 13 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_TFSS-1-2_007
تاریخ نمایه سازی: 27 دی 1401
چکیده مقاله:
A forensic dynamic n-valued Lukasiewicz logic FDL_n is introduced on the base of n-valued Lukasiewicz logic L_n and corresponding to it forensic dynamic MV_n-algebra (FDL_n-algebra), ۱ < 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, ۰,۱) 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 Lukasiewicz logic FDL_n with application to Digital Forensics.
کلیدواژه ها:
نویسندگان
Antonio Di Nola
Department of Mathematics, University of Salerno
Revaz Grigolia
Department of Mathematics of Tbilisi State University; Department of Mathematical Cybernetics of Georgian Technical University
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :