Fair Trade Movement Position Paper

That is, we are going to present a family of anytime reasoners for the full fragment of propo- sitional logic, in which every approximation step has a semantics and can be decided