On three implication-less fragments of t-norm based fuzzy logics (Q2457026): Difference between revisions

In this paper, implication-less fragments of the logic of (commutative, integral, bounded) residuated lattices are studied. The calculi considered are Gentzen systems and, regarded as a specialization, deductive systems in the sense of Blok and Pigozzi. It must be stressed that these systems are understood as calculi allowing hypotheses, not just enumerating a specific set of sequents. Starting from the Gentzen system associated to the sequent calculus \textbf{FL\(_{\text{ew}}\)} or, alternatively, from the deductive system \(\text{IPC}^*\setminus c\) (intuitionistic logic without contraction), the language is restricted to \(\vee, 0, 1\) as well as \(\wedge\) and/or the monoidal connective \(\ast\), the rules introducing the discarted connectives being dropped. The detailed analysis of these calculi focusses in particular on the algebraic counterparts. The following is considered as the main result. The implication-less fragments of \(\text{IPC}^*\setminus c\) and the analogous fragment of classical propositional logic, where \(\ast\) is assumed to behave identically to \(\wedge\), coincide. As a consequence, one can say, somewhat loosely, that when not dealing with the implication, t-norm based fuzzy logics behave classically.