论文信息 - Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator - 字舞流文

Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator

Domenico Cantone | Alfredo Ferro | Jacob T. Schwartz | J. Schwartz | A. Ferro | D. Cantone

[1] Alfred V. Aho,et al. The Design and Analysis of Computer Algorithms , 1974 .

[2] Derek C. Oppen,et al. A simplifier based on efficient decision algorithms , 1978, POPL.

[3] A. Ferro,et al. Decision Procedures for Elementary Sublanguages of Set Theory II , 1981 .

[4] J. Schwartz,et al. Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions , 1980 .

[5] A. Ferro,et al. Decision procedures for elementary sublanguages of set theory. III. Restricted classes of formulas involving the power set operator and the general set union operator , 1984 .

[6] A. Ferro,et al. Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}| y ϵ x} , 1987 .