Weakly implicative (fuzzy) logics. I: Basic properties (Q2505501)

The author presents two classes of propositional logics (understood as a consequence relation). First he generalizes the well-known class of implicative logics of Rasiowa and introduces the class of weakly implicative logics. This class is broad enough to contain many usual logics, yet easily manageable with nice logical properties. Then he introduce a subclass -- the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name of fuzzy logic. Also, the author presents many general theorems for both classes, demonstrating their usefulness and importance.