隐k逻辑的行为等价:一种抽象代数方法

Q1 Mathematics

Journal of Applied Logic Pub Date : 2016-07-01 DOI:10.1016/j.jal.2016.03.002

Sergey Babenyshev , Manuel A. Martins

{"title":"隐k逻辑的行为等价:一种抽象代数方法","authors":"Sergey Babenyshev , Manuel A. Martins","doi":"10.1016/j.jal.2016.03.002","DOIUrl":null,"url":null,"abstract":"<div><p>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.</p><p>In this paper we discuss a question we posed in <span>[1]</span> 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.</p></div>","PeriodicalId":54881,"journal":{"name":"Journal of Applied Logic","volume":"16 ","pages":"Pages 72-91"},"PeriodicalIF":0.0000,"publicationDate":"2016-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jal.2016.03.002","citationCount":"2","resultStr":"{\"title\":\"Behavioral equivalence of hidden k-logics: An abstract algebraic approach\",\"authors\":\"Sergey Babenyshev , Manuel A. Martins\",\"doi\":\"10.1016/j.jal.2016.03.002\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>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.</p><p>In this paper we discuss a question we posed in <span>[1]</span> 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.</p></div>\",\"PeriodicalId\":54881,\"journal\":{\"name\":\"Journal of Applied Logic\",\"volume\":\"16 \",\"pages\":\"Pages 72-91\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/j.jal.2016.03.002\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Applied Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S157086831630009X\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Applied Logic","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S157086831630009X","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Mathematics","Score":null,"Total":0}

引用次数: 2

摘要

这项工作提出了一个研究议程，其主要目的是将抽象代数逻辑(AAL)方法和工具应用于软件系统的规范和验证。它使用抽象演绎系统概念的推广来处理区分可见和隐藏排序的多排序演绎系统。通过推广莱布尼茨同余的性质，得到了本文的两个主要结果。本文讨论了我们在b[1]中提出的关于等价隐藏逻辑的行为等价之间关系的问题。并给出了两个隐含逻辑等价的充要条件。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Behavioral equivalence of hidden k-logics: An abstract algebraic approach

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊