Pages that link to "Item:Q1096608"

The following pages link to Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator (Q1096608):

Displaying 3 items.

• A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions (Q477206) (← links)
• The automation of syllogistic. I: Syllogistic normal forms (Q1111540) (← links)
• On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework (Q6649524) (← links)