On the Axiomatic System of SBL- algebras

• Autorzy: Švrček F.
• Języki publikacji: EN

Abstrakty

EN

SBL-algebras were introduced as algebraic models for the basic strict fuzzy logic SBL extended with an involutive negation. The open problemof a minimal independent axiomatic system of the SBL-algebras is resolved in the paper.

Słowa kluczowe

EN

t-norm; involutive residuated lattice; SBL-algebra

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 89, nr 2-3
• Strony: 345--368
• Opis fizyczny: bibliogr. 4 poz., tab.

Twórcy

autor

Švrček F.

• Department of Algebra and Geometry Faculty of Sciences, Palack´y University Tomkova 40, 779 00 Olomouc, Czech Republic,

Bibliografia

• [1] Bělohlávek, R.: Fuzzy Relational Systems. Foundations And Principles, Kluwer Acad. Publ., New York, 2002.
• [2] Ciucci, D.: On the axioms of residuated structures: Independence, dependences and rough approximations, Fund. Informaticae, 69, 2006, 367-402.
• [3] Esteva, F., Godo, L., Hájek, P., Navara, M.: Residuated fuzzy logic with an involutive negation, Arch. Mat. Logic, 39, 2000, 103-124.
• [4] Hájek, P.: Metamathematics of Fuzzy Logic, Kluwer, 1998.