直觉欧拉-维恩图（扩展）

摘要：

本文给出了关于Heyting代数的Euler-Venn图的一个直观的解释。与经典的Euler-Venn图相比，我们以不同的方式处理阴影区和缺失区，以具有合取、析取和直观含义的图形表示。我们提出了这种语言的一个无割演算，并证明了它是可靠的和完备的。此外，我们还证明了截割、弱化和收缩规则是可容许的。

英文摘要：

We present an intuitionistic interpretation of Euler-Venn diagrams with respect to Heyting algebras. In contrast to classical Euler-Venn diagrams, we treat shaded and missing zones differently, to have diagrammatic representations of conjunction, disjunction and intuitionistic implication. We present a cut-free sequent calculus for this language, and prove it to be sound and complete. Furthermore, we show that the rules of cut, weakening and contraction are admissible.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。