Decision procedures for some fragments of set theory

1980 ◽  
pp. 88-96 ◽  
Author(s):  
A. Ferro ◽  
E. G. Omodeo ◽  
J. T. Schwartz
Keyword(s):  
Set Theory ◽  
Decision Procedures

Decision procedures for elementary sublanguages of set theory

1990 ◽  
Vol 6 (2) ◽  
pp. 189-201 ◽  
Author(s):  
D. Cantone ◽  
V. Cutello
Keyword(s):  
Set Theory ◽  
Decision Procedures

Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions

1980 ◽  
Vol 33 (5) ◽  
pp. 599-608 ◽  
Author(s):  
Alfredo Ferro ◽  
Eugenio G. Omodeo ◽  
Jacob T. Schwartz
Keyword(s):  
Set Theory ◽  
Decision Procedures ◽  
Multi Level

Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}|y εx}

1987 ◽  
Vol 40 (1) ◽  
pp. 37-77 ◽  
Author(s):  
Domenico Cantone ◽  
Alfredo Ferro ◽  
Giuseppe Sorace ◽  
Biagio Micale
Keyword(s):  
Set Theory ◽  
Decision Procedures ◽  
Rank Operator
Sign in / Sign up

Export Citation Format

Share Document