We introduce a proper multi-type display calculus for semi De Morgan logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and applies the guidelines of the multi-type methodology in the design of display calculi.
CITATION STYLE
Greco, G., Liang, F., Moshier, M. A., & Palmigiano, A. (2017). Multi-type display calculus for semi de morgan logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10388 LNCS, pp. 199–215). Springer Verlag. https://doi.org/10.1007/978-3-662-55386-2_14
Mendeley helps you to discover research relevant for your work.