  In the present paper, we endow a family of axiomatic extensions of semi De
Morgan logic 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 semi De Morgan algebras and its subvarieties
and applies the guidelines of the multi-type methodology in the design of
display calculi.

Logic