Document Type

Conference Proceeding

Publication Date



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.


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

Peer Reviewed




Included in

Algebra Commons



To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.