Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators

zbMATH Open0734.03005MaRDI QIDQ810492FDOQ810492

Authors: Alfredo Ferro 

Publication date: 1991

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

Recommendations

• Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present
• 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: XI. Multilevel syllogistic extended by some elementary map constructs
• 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: XIII. Model graphs, reflection and decidability

zbMATH Keywords

transfinite inductiondecision algorithmschoice operatorunquantified theory of sets

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Set theory (03E99)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
• Analytic tableaux for higher-order logic with choice
• Title not available (Why is that?)
• 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 IX. Unsolvability of the decision problem for a restricted subclass of the Δ0-formulas in set theory
• Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present
• Title not available (Why is that?)

This page was built for publication: Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators

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