A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
type: Item
instance of: scholarly article
title: A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
zbMATH Open document ID: 1067.03019
author: Calogero G. Zarba
author: Domenico Cantone
author: Jacob T. Schwartz
published in: Journal of Automated Reasoning
publication date: 2005-06-22T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03E30
zbMATH DE Number: 2177895
zbMATH Keywords: set theory
zbMATH Keywords: decision procedure
zbMATH Keywords: Nelson-Oppen procedure
describes a project that uses: SETL
MaRDI profile type: Publication
full work available at URL: s10817-004-6243-3
OpenAlex ID: W2087368574
cites work: The B-Book
cites work: Q3838806
cites work: Q3999861
cites work: Q2740887
cites work: Q4916221
cites work: Q2721193
cites work: Q3894959
cites work: Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
cites work: Q3905254
cites work: Simplification by Cooperating Decision Procedures
cites work: Q3741005
cites work: Q4039769
cites work: Logics in Artificial Intelligence
cites work: Q4809072
cites work: Q4737128
cites work: Verification: Theory and Practice
DOI: 10.1007/S10817-004-6243-3
Recommended article: Q3437734
Recommended article: Q4916221
Recommended article: Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
Recommended article: Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
Recommended article: Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators
Recommended article: Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators
Recommended article: Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs
Recommended article: Q3475242
Recommended article: Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present
Recommended article: Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae
description: scientific article; zbMATH DE number 2177895