Helena Rasiowa Andrzej Skowron Approximation logic. 123-139 1985 conf/aii/1985 Mathematical Methods of Specification and Synthesis of Software Systems db/conf/aii/aii1985.html#RasiowaS85