scientific article
From MaRDI portal
Publication:2721193
zbMath0963.03018MaRDI QIDQ2721193
Domenico Cantone, Calogero G. Zarba
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30)
Related Items
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”., Automated reasoning with restricted intensional sets, 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
