Investigation of IF-THEN rule bases by methods of mathematical logic | IEEE Conference Publication | IEEE Xplore