论文标题
演绎系统的直觉SAHLQVIST理论
Intuitionistic Sahlqvist theory for deductive systems
论文作者
论文摘要
Sahlqvist理论扩展到包括连接连接的直觉命题演算的片段。这使我们能够引入一种直觉特征的Sahlqvist理论，可与任意的原始外加演绎系统相提并论。作为一个应用程序，我们获得了直觉命题演算的片段的sahlqvist定理，其中包括含义结缔组织和直觉线性逻辑的扩展。
Sahlqvist theory is extended to the fragments of the intuitionistic propositional calculus that include the conjunction connective. This allows us to introduce a Sahlqvist theory of intuitionistic character amenable to arbitrary protoalgebraic deductive systems. As an application, we obtain a Sahlqvist theorem for the fragments of the intuitionistic propositional calculus that include the implication connective and for the extensions of the intuitionistic linear logic.
