Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs

MaRDI QIDQ810491zbMATH OpenFDO

Authors Domenico Cantone, Jacob T. Schwartz

Publication date 1991

Published in Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

program verificationdecision procedureunquantified set-theoretic formulae

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Set theory (03E99)

Recommendations

• Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \(pred_ <\)
• Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators
• Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
• Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators
• Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability

Cited in

(13)

• Solving quantifier-free first-order constraints over finite sets and binary relations
• scientific article; zbMATH DE number 5151001 (Why is no real title available?)
• Layered map reasoning: an experimental approach put to trial on sets
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
• Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
• scientific article; zbMATH DE number 1263308 (Why is no real title available?)
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions
• scientific article; zbMATH DE number 1765710 (Why is no real title available?)
• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
• Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \(pred_ <\)
• A decision procedure for sets, binary relations and partial functions
• scientific article; zbMATH DE number 3968580 (Why is no real title available?)
• Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the Δ0-formulas in set theory

This page was built for publication: Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q810491)