“…The models [13,14] were concerned with checking the forward reasoning consistency of KBSs based on Lukasiewicz's three-valued logic. In [24], an algebraic structure for p-valued propositional logics ( p prime) was given, under the assumption that, as proven in [2,7,15,24], logical deduction can be transferred into terms of an ideal membership problem, which in turn can be decided using Groebner Bases, and different expert systems (some of them based on multivalued logics) have been developed from this model [9,[16][17][18]26].…”