A Note on Axiom System for SBL-algebras

• Autorzy: Halaš, R.
• Języki publikacji: EN

Abstrakty

EN

In the paper we resolve an open problem posed by D.Ciucci in [1] on the independence of axioms for SBL-algebras. The main aim is to present its solution which is, in contrast to the one presented in [4], simple, transparent and easily verifiable.

Słowa kluczowe

EN

basic logic; residuated lattices; t-norm; axiom system; BL-algebra; SBL-algebra

• Czasopismo: Fundamenta Informaticae
• Rocznik: 2009
• Tom: Vol. 90, nr 1-2
• Strony: 87-92
• Opis fizyczny: bibliogr. 4 poz.

Twórcy

autor

Halaš, R.

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

Bibliografia

• [1] D. Ciucci: On the Axioms of residuated Structures: Independence, Dependencies and Rough Approximations, Fund. Informaticae, 69 (2006), 359-387.
• [2] F. Esteva, L. Godo, P. Hájek, M. Navara: Residuated fuzzy logics with an Involutive Negation, Archive for Mathematical Logic, 39 (2003), 103-124.
• [3] P. Hájek: Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998.
• [4] F. Švrček: On the axiomatic system of SBL¬-algebras, Fund. Informaticae, to appear.