On three implication-less fragments of t-norm based fuzzy logics (Q2457026): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 09:14, 5 March 2024
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
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