On the satisfiability problem for a 3-level quantified syllogistic

Domenico Cantone, Marianna Nicolosi Asmundo

We show that a collection of three-sorted set-theoretic formulae, denoted TLQSR and which admits a restricted form of quantification over individual and set variables, has a solvab…