Logical foundations for rule-based systems / Antoni Ligêza. - Ligęza, Antoni (Studies in computational intelligence ;, 2006)