Publication:2721193
From MaRDI portal
zbMath0963.03018MaRDI QIDQ2721193
Domenico Cantone, Calogero G. Zarba
Publication date: 1 July 2001
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
03E30: Axiomatics of classical set theory and its fragments
Related Items
A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case, A tableau-based decision procedure for a fragment of set theory with iterated membership, Combining sets with cardinals, Automated reasoning with restricted intensional sets, A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions1 1This research has been partially supported by MURST Grant prot. 2001017741 under project “Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche”.