کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4950062 1440361 2016 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Bitopology and Four-valued Logic
ترجمه فارسی عنوان
بیتوپولوژی و منطق چهارگانه
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

Bilattices and d-frames are two different kinds of structures with a four-valued interpretation. Whereas d-frames were introduced with their topological semantics in mind, the theory of bilattices has a closer connection with logic. We consider a common generalisation of both structures and show that this not only still has a clear bitopological semantics, but that it also preserves most of the original bilattice logic. Moreover, we also obtain a new bitopological interpretation for the connectives of four-valued logic.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 325, 5 October 2016, Pages 201-219
نویسندگان
, , ,