TY - JOUR
T1 - Semi De Morgan Logic Properly Displayed
AU - Greco, Giuseppe
AU - Liang, Fei
AU - Moshier, M. Andrew
AU - Palmigiano, Alessandra
PY - 2021/2
Y1 - 2021/2
N2 - 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.
AB - 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.
KW - Multi-type methodology
KW - Proper display calculus
KW - Semi De Morgan algebras
UR - http://www.scopus.com/inward/record.url?scp=85080037993&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85080037993&partnerID=8YFLogxK
U2 - 10.1007/s11225-020-09898-y
DO - 10.1007/s11225-020-09898-y
M3 - Article
AN - SCOPUS:85080037993
VL - 109
SP - 1
EP - 45
JO - Studia logica
JF - Studia logica
SN - 0039-3215
IS - 1
ER -