New successes in dealing with set theories by means of state-of-the-art theorem-provers may ensue from terse and concise axiomatizations, such as can be moulded in the framework of the (fully equational) Tarski-Givant map calculus. In this paper we carry out this task in detail, setting the ground for a number of experiments.
An equational re-engineering of set theories / Formisano, A; Omodeo, Eugenio. - STAMPA. - 1761:(2000), pp. 175-190. ( Automated Deduction in Classical and Non-Classical Logics Vienna, Austria Novembre 1998) [10.1007/3-540-46508-1_12].
An equational re-engineering of set theories
OMODEO, EUGENIO
2000-01-01
Abstract
New successes in dealing with set theories by means of state-of-the-art theorem-provers may ensue from terse and concise axiomatizations, such as can be moulded in the framework of the (fully equational) Tarski-Givant map calculus. In this paper we carry out this task in detail, setting the ground for a number of experiments.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
