Multi-type Display Calculus for Semi-De Morgan Logic

Authors

Giuseppe Greco, Delft University of Technology
Fei Liang, Delft University of Technology
M. Andrew Moshier, Chapman UniversityFollow
Alessandra Palmigiano, Delft University of Technology

Document Type

Conference Proceeding

Publication Date

6-29-2017

Abstract

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.

Comments

This is a pre-copy-editing, author-produced PDF of a conference paper accepted for publication in Lecture Notes in Computer Science, volume 10388, in 2017. The final publication is available at Springer via DOI: 10.1007/978-3-662-55386-2_14

Recommended Citation

Greco G., Liang F., Moshier M.A., Palmigiano A. (2017) Multi-type Display Calculus for Semi De Morgan Logic. In: Kennedy J., de Queiroz R. (eds) Logic, Language, Information, and Computation. WoLLIC 2017. Lecture Notes in Computer Science, vol 10388. Springer, Berlin, Heidelberg. doi: 10.1007/978-3-662-55386-2_14

Peer Reviewed

1

Copyright

Springer