Lukasiewicz inference in Layman´s probability theory

A prior work introduced Layman´s probability theory as a formal system for reasoning with linguistic likelihood, wherein the logical and is interpreted as the arithmetic min, and the or is interpreted as the max. Likelihood modifiers (likely, very likely, somewhat unlikely, etc.) are treated as modal operators. The system is two-leveled, with the lower level being a multivalent logic and the upper level being bivalent. In the previous treatment, the lower level employed only the connectives V, ∧, and ~. The paper adds the → connective, provides this with the well-known Lukasiewicz interpretation, and explores its properties with respect to the system as a whole