scientific article
From MaRDI portal
Publication:3838806
zbMath0903.03017MaRDI QIDQ3838806
Ulrike Hartmer, Bernhard Beckert
Publication date: 8 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
tableau calculusautomated deductiondecidable fragment of set theoryfree function symbolsmulti-level syllogistic with singleton
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”., A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case