论文信息 - Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs - 字舞流文

Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs

Vincenzo Cutello | Domenico Cantone | Alfredo Ferro

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

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

[3] 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 .

[4] Domenico Cantone,et al. Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator , 2015, J. Comput. Syst. Sci..

[5] Robert L. Vaught. Set Theory: An Introduction , 1985 .