Pages that link to "Item:Q3705420"

The following pages link to Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator (Q3705420):

Displaying 17 items.

• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680) (← links)
• Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators (Q810489) (← links)
• Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs (Q810491) (← links)
• Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \(pred_ <\) (Q912082) (← links)
• Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator (Q1096608) (← links)
• The automation of syllogistic. I: Syllogistic normal forms (Q1111540) (← links)
• A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets (Q1322849) (← links)
• The automation of syllogistic. II: Optimization and complexity issues (Q1813824) (← links)
• A set-theoretic translation method for polymodal logics (Q1904398) (← links)
• Adding the power-set to description logics (Q1989328) (← links)
• (Q3437734) (← links)
• 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 (Q3768865) (← links)
• Decision procedures for elementary sublanguages of set theory VIII. A semidecision procedure for finite satisfiability of unqualified set-theoretic formulae (Q3787974) (← links)
• (Q4234182) (← links)
• Decision algorithms for elementary topology I. Topological syllogistics with set and map constructs, connectedness, and cardinality comparison (Q4313220) (← links)
• On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework (Q6649524) (← links)