开放逻辑中的R-重构不多于n的充分必要条件

A NECESSARY AND SUFFICIENT CONDITION FOR CARD (R-RECONS (Г,A))< n IN OPEN LOGIC

在开放逻辑中,令Γ是假说,A为语句使得ΓA且A受到事实反驳,本文给出了Γ关于A的事实反驳的R-重构不多于n的充要条件,作为推论我们得到了Γ关于A的事实反驳的R-重构唯一的充要条件.

We give a necessary and sufficient condition for Card(R-recons(r,A)) < n, where n is a natural number, is a hyhypothesis, A is a sentence such that A and A is rejected by facts, R-recons(, A) is the set of all R-reconstructions of for the rejection of A by facts in open logic. As a corollary we obtain a necessary and sufficient condition for the uniquelity of R-reconstrution of for the rejection of A by facts.