论文标题
哪些连接剂会导致直觉谓词逻辑与恒定域的逻辑之间的差异？
What Kinds of Connectives Cause the Difference between Intuitionistic Predicate Logic and the Logic of Constant Domains?
论文作者
论文摘要
众所周知，可以将直觉的Kripke语义进行推广，从而可以处理以真理功能为特征的任意命题连接。我们将这种广义的kripke语义扩展到一阶逻辑，并研究连接的选择如何改变直觉谓词逻辑与恒定域的逻辑之间的关系，从而在序列的有效性方面。我们的主要结果为直觉谓词逻辑中的一组有效序列提供了一个简单的必要条件，以与常数域逻辑中的一组有效序列相吻合。
It is known that intuitionistic Kripke semantics can be generalized so that it can treat arbitrary propositional connectives characterized by truth functions. We extend this generalized Kripke semantics to first-order logic, and study how the choice of connectives changes the relation between intuitionistic predicate logic and the logic of constant domains in terms of validity of sequents. Our main result gives a simple necessary and sufficient condition for the set of valid sequents in intuitionistic predicate logic to coincide with the set of valid sequents in the logic of constant domains.
