Titelaufnahme

Titel
Densification of FL chains via residuated frames
VerfasserBaldi, Paolo ; Terui, Kazushige
Erschienen in
Algebra universalis, 2016, Jg. 75, H. 2, S. 169-195
ErschienenBirkhäuser; Springer International Publishing, 2016
Ausgabe
Published version
SpracheEnglisch
DokumenttypAufsatz in einer Zeitschrift
Schlagwörter (EN)substructural logic / fuzzy logic / Gentzen systems / residuated frames / residuated lattices / standard completeness
ISSN1420-8911
URNurn:nbn:at:at-ubtuw:3-1541 Persistent Identifier (URN)
DOI10.1007/s00012-016-0372-5 
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Densification of FL chains via residuated frames [0.99 mb]
Links
Nachweis
Klassifikation
Zusammenfassung (Englisch)

We introduce a systematic method for densification, i.e., embedding a given chain into a dense one preserving certain identities, in the framework of FL algebras (pointed residuated lattices). Our method, based on residuated frames, offers a uniform proof for many of the known densification and standard completeness results in the literature. We propose a syntactic criterion for densification, called semianchoredness. We then prove that the semilinear varieties of integral FL algebras defined by semi-anchored equations admit densification, so that the corresponding fuzzy logics are standard complete. Our method also applies to (possibly non-integral) commutative FL chains. We prove that the semilinear varieties of commutative FL algebras defined by knotted axioms xm=xn (with m,n>1) admit densification. This provides a purely algebraic proof to the standard completeness of uninorm logic as well as its extensions by knotted axioms.

Notiz
Lizenz
CC-BY-Lizenz (4.0)Creative Commons Namensnennung 4.0 International Lizenz