کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
422047 685008 2008 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Term Equational Systems and Logics: (Extended Abstract)
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Term Equational Systems and Logics: (Extended Abstract)
چکیده انگلیسی

We introduce an abstract general notion of system of equations between terms, called Term Equational System, and develop a sound logical deduction system, called Term Equational Logic, for equational reasoning. Further, we give an analysis of algebraic free constructions that together with an internal completeness result may be used to synthesise complete equational logics. Indeed, as an application, we synthesise a sound and complete nominal equational logic, called Synthetic Nominal Equational Logic, based on the category of Nominal Sets.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 218, 22 October 2008, Pages 171-192