正确显示的双格逻辑
Bilattice Logic Properly Displayed
摘要：
本文给出了双格逻辑（含合并）的一个适当的多型显示演算，并证明了它的可靠性、完备性、保守性、标准子公式性质和割消。我们的建议建立在双格的产品表示，并适用于显示结石的设计中的多类型的方法学的指导方针。
英文摘要：
We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which we prove soundness, completeness, conservativity, standard subformula property and cut-elimination. Our proposal builds on the product representation of bilattices and applies the guidelines of the multi-type methodology in the design of display calculi.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
