Eintrag weiter verarbeiten
Equational Characterization of the Subvarieties of BL Generated by T-Norm Algebras
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Titel: |
Equational Characterization of the Subvarieties of BL Generated by T-Norm Algebras |
In: | Studia Logica: An International Journal for Symbolic Logic, 76, 2004, 2, S. 161-200 |
veröffentlicht: |
Kluwer Academic Publishers
|
Umfang: | 161-200 |
ISSN: |
0039-3215 1572-8730 |
Zusammenfassung: | <p>In this paper we show that the subvarieties of BL, the variety of BL-algebras, generated by single BL-chains on [0, 1], determined by continuous t-norms, are finitely axiomatizable. An algorithm to check the subsethood relation between these subvarieties is provided, as well as another procedure to effectively find the equations of each subvariety. From a logical point of view, the latter corresponds to find the axiomatization of every residuated many-valued calculus defined by a continuous t-norm and its residuum. Actually, the paper proves the results for a more general class than t-norm BL-chains, the so-called regular BL-chains.</p> |
Format: | E-Article |
Quelle: |
sid-55-col-jstormaths sid-55-col-jstoras7 JSTOR Mathematics & Statistics JSTOR Arts & Sciences VII Archive |
Sprache: | Englisch |