The approach to algebraic specifications of set theories proposed by Tarski and Givant inspires current research aimed at taking advantage of the purely equational nature of the resulting formulations for enhanced automation of reasoning on aggregates of various kinds: sets, bags, hypersets, etc. The viability of the said approach rests upon the possibility to form ordered pairs and to decompose them by means of conjugated projections. Ordered pairs can be conceived of in many ways: along with the most classic one, several other pairing functions are examined, which can be preferred to it when either the axiomatic assumptions are too weak to enable pairing formation A la Kuratowski, or they are strong enough to make the specification of conjugated projections particularly simple, and their formal properties easy to check within the calculus of binary relations.

Three-variable statements of set-pairing

A. FORMISANO;POLICRITI, Alberto
2004-01-01

Abstract

The approach to algebraic specifications of set theories proposed by Tarski and Givant inspires current research aimed at taking advantage of the purely equational nature of the resulting formulations for enhanced automation of reasoning on aggregates of various kinds: sets, bags, hypersets, etc. The viability of the said approach rests upon the possibility to form ordered pairs and to decompose them by means of conjugated projections. Ordered pairs can be conceived of in many ways: along with the most classic one, several other pairing functions are examined, which can be preferred to it when either the axiomatic assumptions are too weak to enable pairing formation A la Kuratowski, or they are strong enough to make the specification of conjugated projections particularly simple, and their formal properties easy to check within the calculus of binary relations.
File in questo prodotto:
File Dimensione Formato  
fortcs.pdf

non disponibili

Tipologia: Versione Editoriale (PDF)
Licenza: Non pubblico
Dimensione 402.03 kB
Formato Adobe PDF
402.03 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/858630
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? 7
social impact