标题:Semi De Morgan Logic Properly Displayed
作者:Greco G.; Liang F.; Moshier M.A.; Palmigiano A.
作者机构:[Greco, G] Department of Languages, Literature and Communication, Utrecht University, Utrecht, Netherlands;[ Liang, F] School of Philosophy and Social 更多
通讯作者:Liang, F(f.liang@sdu.edu.cn)
通讯作者地址:[Liang, F] School of Philosophy and Social Development, Shandong UniversityChina;
来源:Studia Logica
出版年:2020
DOI:10.1007/s11225-020-09898-y
关键词:Multi-type methodology; Proper display calculus; Semi De Morgan algebras
摘要:In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi. © 2020, Springer Nature B.V.
收录类别:SCOPUS
资源类型:期刊论文
原文链接:https://www.scopus.com/inward/record.uri?eid=2-s2.0-85080037993&doi=10.1007%2fs11225-020-09898-y&partnerID=40&md5=c318a1c27cfdc8a84c87a9bf7e1d5049
TOP