کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4662913 1345208 2016 20 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Behavioral equivalence of hidden k-logics: An abstract algebraic approach ☆
ترجمه فارسی عنوان
هم ارزی رفتاری استدلال‌های K پنهان: روش جبری انتزاعی
کلمات کلیدی
هم ارزی رفتاری؛ منطق پنهان؛ تناسب لایبنیتس
Behavioral equivalence; Hidden logic; Leibniz congruence
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

This work advances a research agenda which has as its main aim the application of Abstract Algebraic Logic (AAL) methods and tools to the specification and verification of software systems. It uses a generalization of the notion of an abstract deductive system to handle multi-sorted deductive systems which differentiate visible and hidden sorts. Two main results of the paper are obtained by generalizing properties of the Leibniz congruence — the central notion in AAL.In this paper we discuss a question we posed in [1] about the relationship between the behavioral equivalences of equivalent hidden logics. We also present a necessary and sufficient intrinsic condition for two hidden logics to be equivalent.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 16, July 2016, Pages 72–91
نویسندگان
, ,