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.
Titolo: | An equational re-engineering of set theories | |
Autori: | ||
Data di pubblicazione: | 2000 | |
Rivista: | ||
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. | |
Handle: | http://hdl.handle.net/11368/1696331 | |
Appare nelle tipologie: | 4.1 Contributo in Atti Convegno (Proceeding) |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.