Excerpt from Decision Procedures for Elementary Sublanguages of Set Theory; Vi; Multi-Level Syllogistic Extended by the Powerset Operator Definition A place a of P is a O/l-valued function defined on the set of all variables in P such that c(x) a(y) V a(z) (resp. C(x) a(y) - g429) if x y U z (resp. X y z), belongs to P, and such that c(x) E 0 if x G appears in P. Given a variable x, the place a is said tosbe: a place of P at x if a(y) (resp. A(y) 0) whenever x e y (resp. X d y) appears in P. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.