标题:Algebraic Semantics for Quasi-Nelson Logic
作者:Liang, Fei ;Nascimento, Thiago
通讯作者:Liang, Fei
作者机构:[Liang, Fei ] School of Philosophy and Social Development, Shandong University, Jinan, China;[Nascimento, Thiago ] Programa de Pós-gradua&ccedi 更多
会议名称:26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019
会议日期:2 July 2019 through 5 July 2019
来源:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
出版年:2019
卷:11541 LNCS
页码:450-466
DOI:10.1007/978-3-662-59533-6_27
关键词:Algebraizable logics; Quasi-Nelson algebras; Quasi-Nelson logic
摘要:Quasi-Nelson logic is a generalization of Nelson logic in the sense that the negation is not necessary involutive. In this paper, we give a Hilbert-style presentation QN of quasi-Nelson logic, and show that QN is regularly BP-algebraizable with respect to its algebraic counterpart obtained by the Blok-Pigozzi algorithm, namely the class of Q -algebras. Finally, we show that the class of Q -algebras coincides with the class of quasi-Nelson algebras. © 2019, Springer-Verlag GmbH Germany, part of Springer Nature.
收录类别:EI;SCOPUS
资源类型:会议论文;期刊论文
原文链接:https://www.scopus.com/inward/record.uri?eid=2-s2.0-85068621624&doi=10.1007%2f978-3-662-59533-6_27&partnerID=40&md5=8682fe1fc7ecb253ec70fb95d8e96174
TOP