An equational re-engineering of set theories

Authors
Formisano, A Omodeo, E
Citation
A. Formisano et E. Omodeo, An equational re-engineering of set theories, LECT N A I, 1761, 2000, pp. 175-190
Citations number
37
Categorie Soggetti
Current Book Contents
Journal title
AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS → ACNP
ISSN journal
03029743
Volume
1761
Year of publication
2000
Pages
175 - 190
Database
ISI
SICI code
0302-9743(2000)1761:<175:AEROST>2.0.ZU;2-K
Abstract
New successes in dealing with set theories by means of state-of-the-art the orern-provers may ensue from terse and concise axiomatizations, such as can be moulded in the framework of the (fully equational) Tarski-Givant map ca lculus. In this paper we carry out this task in detail, setting the ground for a number of experiments.