正确显示半德摩根逻辑
Semi De Morgan logic properly displayed
摘要：
本文给出了一类半De Morgan逻辑的公理化扩张的合理的多型显示演算，这些演算是可靠的、完备的、保守的，并具有割消和子公式性质。我们的提案建立在半德摩根代数及其子代数的代数分析的基础上，并在显示结石的设计中应用多类型方法论的指导方针。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
