On three implication-less fragments of t-norm based fuzzy logics (Q2457026)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On three implication-less fragments of t-norm based fuzzy logics
scientific article

    Statements

    On three implication-less fragments of t-norm based fuzzy logics (English)
    0 references
    0 references
    0 references
    29 October 2007
    0 references
    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.
    0 references
    fuzzy logic
    0 references
    logic of residuated lattices
    0 references
    implication-less fragment
    0 references
    t-norm based logics
    0 references
    Gentzen systems
    0 references
    deductive systems
    0 references
    sequent calculus
    0 references

    Identifiers