کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
421601 684914 2011 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A Tool for Analysing Logics
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
A Tool for Analysing Logics
چکیده انگلیسی

We introduce and examine a tool for analysing logics. This algebraic tool, coming from some ideas introduced by J. Piaget, provides condensed information about a logic (with emphasis on the behavior of a unary symbol), as such, it can be employed for analysing and, to some extent, comparing logics.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 269, 22 April 2011, Pages 125-137