Browsing by Subject "UNARY QUANTIFIERS"
Now showing items 1-1 of 1
-
(ELSEVIER, 2008-03)Locality notions in logic say that the truth value of a formula can be determined locally, by looking at the isomorphism type of a small neighbourhood of its free variables. Such notions have proved to be useful in many ...