Download:
|
|
by Domenico Cantone, Eugenio G. Omodeo, Pietro Ursino
http://univaq.it/~omodeo/papers/transStructures.ps
Add To MetaCart
Abstract:
Formative processes with applications to the decision problem in set theory: I. Powerset and singleton operators.
Citations
| 47 | Non-resolution theorem proving – Bledsoe - 1981 |
| 21 | Computable Set Theory – Cantone, Ferro, et al. - 1989 |
| 13 | Modal deduction in second-order logic and set theory-I – Benthem, D'Agostino, et al. - 1997 |
| 13 | Techniques of computable set theory with applications to proof verification – Cantone, Ferro - 1995 |
| 11 | A new fast tableau-based decision procedure for an unquanti fragment of set theory – Cantone, Zarba - 1998 |
| 7 | Decision procedures for elementary sublanguages of set theory – Cantone - 1991 |
| 4 | A tableau-based decision procedure for a fragment of set theory involving a restricted form of quanti – Cantone, Zarba - 1999 |
| 3 | A unifying approach to computable set theory – Cantone, Ursino - 1997 |
| 1 | Set-theoretic reductions of Hilbert's tenth problem – Cantone, Cutello, et al. - 1989 |
