论文标题
部分可观测时空混沌系统的无模型预测
Another Combination of Classical and Intuitionistic Conditionals
论文作者
论文摘要
一方面，即使不是完美的，古典逻辑也是一种非常成功的理论。另一方面，毫无疑问，直觉逻辑是最重要的非古典逻辑之一。但是，一个逻辑的支持者如何看待另一种逻辑？在本文中，我们专注于一个方向之一，即古典主义者如何看待直觉逻辑。为此，我们从语义和理论上介绍了积极直觉逻辑的扩展，并建立了健全性和强大的完整性。此外，我们讨论了脱节的有趣状态，以及结合经典逻辑和最小逻辑的可能性。我们还将我们的系统与Caleiro和Ramos的系统进行了比较。
On the one hand, classical logic is an extremely successful theory, even if not being perfect. On the other hand, intuitionistic logic is, without a doubt, one of the most important non-classical logics. But, how can proponents of one logic view the other logic? In this paper, we focus on one of the directions, namely how classicists can view intuitionistic logic. To this end, we introduce an expansion of positive intuitionistic logic, both semantically and proof-theoretically, and establish soundness and strong completeness. Moreover, we discuss the interesting status of disjunction, and the possibility of combining classical logic and minimal logic. We also compare our system with the system of Caleiro and Ramos.
