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. In ISMVL. pages 75-82, 1997. [doi]

Abstract

Abstract is missing.