Forensic Dynamic Lukasiewicz Logic
- سال انتشار: 1401
- محل انتشار: مجله بحث هایی روی مجموعه ها و سیستم های فازی، دوره: 1، شماره: 2
- کد COI اختصاصی: JR_TFSS-1-2_007
- زبان مقاله: انگلیسی
- تعداد مشاهده: 152
نویسندگان
Department of Mathematics, University of Salerno
Department of Mathematics of Tbilisi State University; Department of Mathematical Cybernetics of Georgian Technical University
چکیده
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.کلیدواژه ها
Lukasiewiz Logic, Dynamic Logic, Epistemic Logic, MV-algebraاطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.