Callus
发表于 2025-4-1 05:16:04
On Simplifying the Matrix of a WFFcate calculus in closed prenex normal form with prefixes of the form ∀x..∀x.∃y..∃Ym∀z..∀.. . Given such a wff .,where . is the prefix and M is the matrix in conjunctive normal form, Friedman’s rules can be used, in effect, to construct a matrix . which is obtained from . by deleting certain conjunct
许可
发表于 2025-4-1 07:04:50
http://reply.papertrans.cn/17/1666/166506/166506_62.png