Fuzzy Inference and Approximate Reasoning to Expert Systems
On Certain Classes of Totally Ordered Semirings