Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection.

Alioune Ngom Corina Reischer Dan A. Simovici Ivan Stojmenovic Completeness Criteria in Set-Valued Logic Under Compositions with Union and Intersection. 75-82 1997 ISMVL http://computer.org/proceedings/ismvl/7910/79100075abs.htm db/conf/ismvl/ismvl1997.html#NgomRSS97