Structural Analysis of Precomplete Classes and Closure Diagrams in Multi-Valued Logic
محل انتشار: مجله سیستم های فازی، دوره: 21، شماره: 6
سال انتشار: 1403
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 101
فایل این مقاله در 19 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_IJFS-21-6_008
تاریخ نمایه سازی: 15 بهمن 1403
چکیده مقاله:
This paper develops a mathematical framework to ensure the functionality and efficiency of digital electronics built on multi-valued logic (MVL). We investigate the properties of precomplete classes and closure for families of MVL functions, focusing on the existence and structure of R-closed sets in \(P_k\) for \(k \geq ۴\). Our work provides a systematic analysis of logical bases and their representations through structured diagrams, with a particular focus on Boolean and MVL functions. We rigorously classify \(R_۲\)-complete families in \(P_۳\)-spaces and propose extensions for the minimal linear superposition operator. Furthermore, we highlight how MVL significantly enhances information density in memory storage systems, providing pivotal benefits for cutting-edge computational systems. These results bridge theoretical advancements and practical implementations in computer science and logic.
کلیدواژه ها:
Multi-Valued Logic (MVL) ، \mathcal{R}-closed sets ، Precomplete classes ، Logical bases ، Structured diagrams ، Digital electronics ، Boolean and MVL functions ، Memory density enhancement ، Minimal linear operators ، Computational logic applications
نویسندگان
Anton Esin
Institute for Information Transmission Problems of RAS, Bolshoy Karetny per. ۱۹, Moscow, Russia
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :