Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators

Domenico Cantone, Pietro Ursino, Eugenio G. Omodeo. Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators. Inf. Comput., 172(2):165-201, 2002. [doi]

Abstract

Abstract is missing.