Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
scientific article; zbMATH DE number 1341470 - MaRDI portal

scientific article; zbMATH DE number 1341470

From MaRDI portal

Publication:4263009

Jump to:navigation, search

zbMath0932.03009MaRDI QIDQ4263009

Calogero G. Zarba, Domenico Cantone

Publication date: 22 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

efficiency decidability tableau calculus decision procedure computable set theory multi-level syllogistic restricted form of quantification set-theoretic fragment

Mathematics Subject Classification ID

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 (2)

Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators ⋮ A tableau-based decision procedure for a fragment of set theory with iterated membership

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4263009&oldid=18170506"