## Works by Esko Turunen

6 found
Order:
1. Mathematics Behind Fuzzy Logic.Esko Turunen - 1999 - Physica-Verlag Heidelberg.
Many results in fuzzy logic depend on the mathematical structure the truth value set obeys. In this textbook the algebraic foundations of many-valued and fuzzy reasoning are introduced. The book is self-contained, thus no previous knowledge in algebra or in logic is required. It contains 134 exercises with complete answers, and can therefore be used as teaching material at universities for both undergraduated and post-graduated courses. Chapter 1 starts from such basic concepts as order, lattice, equivalence and residuated lattice. It (...)

Export citation

Bookmark   6 citations
2. Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
BL-algebras rise as Lindenbaum algebras from many valued logic introduced by Hájek [2]. In this paper Boolean ds and implicative ds of BL-algebras are defined and studied. The following is proved to be equivalent: (i) a ds D is implicative, (ii) D is Boolean, (iii) L/D is a Boolean algebra. Moreover, a BL-algebra L contains a proper Boolean ds iff L is bipartite. Local BL-algebras, too, are characterized. These results generalize some theorems presented in [4], [5], [6] for MV-algebras which (...)

Export citation

Bookmark   8 citations
3. Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
A many-valued sentential logic with truth values in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper develops some ideas of Goguen and generalizes the results of Pavelka on the unit interval. The proof for completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if and only if the algebra of the truth values is a complete MV-algebra. In the well-defined fuzzy sentential (...)

Export citation

Bookmark   2 citations
4. A Note on Pavelka's Fuzzy Logic.Esko Turunen - 1991 - Mathematical Logic Quarterly 37 (2‐4):39-40.

Export citation

Bookmark
5. A Note on Pavelka's Fuzzy Logic.Esko Turunen - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):39-40.