Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present

Communications on Pure and Applied Mathematics ◽

10.1002/cpa.3160400302 ◽

1987 ◽

Vol 40 (3) ◽

pp. 265-280 ◽

Author(s):

A. Ferro ◽

E. G. Omodeo

Keyword(s):

Decision Procedures

Download Full-text

Decision procedures for elementary sublanguages of set theory

Journal of Automated Reasoning ◽

10.1007/bf00245818 ◽

1990 ◽

Vol 6 (2) ◽

pp. 189-201 ◽

Author(s):

D. Cantone ◽

V. Cutello

Keyword(s):

Decision Procedures

Download Full-text

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

Communications on Pure and Applied Mathematics ◽

10.1002/cpa.3160330503 ◽

1980 ◽

Vol 33 (5) ◽

pp. 599-608 ◽

Author(s):

Alfredo Ferro ◽

Eugenio G. Omodeo ◽

Jacob T. Schwartz

Keyword(s):

Decision Procedures ◽

Download Full-text

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

Communications on Pure and Applied Mathematics ◽

10.1002/cpa.3160400103 ◽

1987 ◽

Vol 40 (1) ◽

pp. 37-77 ◽

Author(s):

Domenico Cantone ◽

Alfredo Ferro ◽

Giuseppe Sorace ◽

Biagio Micale

Keyword(s):

Decision Procedures ◽

Download Full-text

Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability

Journal of Automated Reasoning ◽

10.1007/bf00243810 ◽

1991 ◽

Vol 7 (2) ◽

Author(s):

Franco Parlamento ◽

Alberto Policriti

Keyword(s):

Decision Procedures

Download Full-text

Decision procedures for some fragments of set theory

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 - Lecture Notes in Computer Science ◽

10.1007/3-540-10009-1_8 ◽

1980 ◽

pp. 88-96 ◽

Author(s):

A. Ferro ◽

E. G. Omodeo ◽

J. T. Schwartz

Keyword(s):

Decision Procedures

Download Full-text

Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators

Journal of Automated Reasoning ◽

10.1007/bf00243807 ◽

1991 ◽

Vol 7 (2) ◽

Author(s):

D. Cantone

Keyword(s):

Decision Procedures ◽

Download Full-text

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo and Alberto Policriti, Springer-Verlag, 2001. Hardback: ISBN 0-387-95197-0, $24.50/$69.95, xviii+409 pages.

Theory and Practice of Logic Programming ◽

10.1017/s1471068402001503 ◽

2002 ◽

Vol 3 (1) ◽

pp. 125-128

Author(s):

A. Dovier

Keyword(s):

Decision Procedures ◽

Declarative Programming

Download Full-text

Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae

Communications on Pure and Applied Mathematics ◽

10.1002/cpa.3160410107 ◽

1988 ◽

Vol 41 (1) ◽

pp. 105-120 ◽

Author(s):

D. Cantone ◽

A. Ferro ◽

E. G. Omodeo

Keyword(s):

Decision Procedures

Download Full-text

Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators

Journal of Automated Reasoning ◽

10.1007/bf00243809 ◽

1991 ◽

Vol 7 (2) ◽

Author(s):

A. Ferro

Keyword(s):

Decision Procedures

Download Full-text

Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator

Communications on Pure and Applied Mathematics ◽

10.1002/cpa.3160380507 ◽

1985 ◽

Vol 38 (5) ◽

pp. 549-571 ◽

Author(s):

D. Cantone ◽

J. T. Schwartz ◽

A. Ferro

Keyword(s):

Decision Procedures ◽

Download Full-text