The Satisfiability Problem for Boolean Set Theory with a Choice Correspondence

Domenico Cantone, Alfio Giarlotta, Stephen Watson

Given a set U of alternatives, a choice (correspondence) on U is a contractive map c defined on a family Omega of nonempty subsets of U. Semantically, a choice c associates to each…