Publications

Updated 27.04.2012

Submitted papers

Analysing GUHA hypotheses by Bayesian methods, submitted to Soft Computing (Co-authors Marko Järvenpää, Robert Piche and Milan Simunek)

Pavelka sentential fuzzy logic with interdependent bipolar information, submitted to Fuzzy Sets ans Systems (Co-authors J. Tinguaro Rodríguez, Da Ruan, Javier Montero, and Begoña Vitorianoa)

2012

A New Characterization for n-Fold Positive Implicative BL--logics. Proceedings of the IPMU2012 conference 9.-14.2012, Catania, Italy (Co-authors Celestin Lele and Ngentau Tchikapa)

Characterizing n-Fold Positive Implicative BL-logics. Proceedings of MultiVal2012 4.-7.7.2012 Salerno, Italy (Co-authors Celestin Lele and Ngentau Tchikapa)

Prime Filters on Residuated Lattices. Proceedings of the Int. Symp. on Multiple-Valued Logic (ISMVL 2012) Victoria, BC, Canada. 14.-16.5.2012.(Co-author Michiro Kondo)

2011

Gödel logic is n-fold Implicative Basic Logic. DOI: 10.1007/s00500-011-0761-9 Soft Computing. (Co-authors Nganteu Tchikapa and Celestin Lele.)

Axiomatic Extensions of Höhle's Monoidal Logic. In S. Galichat, J. Montero and G. Mauris. Proceedings of the 7th conference of EUSFLAT-LFA-2011. 18.-22.7.2011, Aix-Les-Bains, France, pp 163 - 168.

2010

Paraconsistent Fuzzy Logic - A Review. In K. Chvalovsky, P. Cintula and C. Noguera (Eds.): Abstracts of LATD 2010. Prague, 7 - 11 September 2010 pp. 158-162.

Bayesian assaying of GUHA nuggets. In E. Hullermeier, R. Kruse, and F. Hoffmann (Eds.): IPMU 2010, Part I, CCIS 80, pp. 348–355, 2010. Springer-Verlag Berlin Heidelberg 2010. (Co-author Robert Piche.)

Commutative Bounded Integral Residuated Orthomodular Lattices are Boolean Algebras. Soft Computing. DOI 10.1007/s00500-010-0572-4 (Co-author Josef Tkadlec.)

Paraconsistent Semantics for Pavelka Style Fuzzy Sentential Logic. Fuzzy Sets and Systems 161(2010), 1926-1040. (Co-authors Meltem Öztürk and Alexis Tsoukiàs)

2009

Interpreting GUHA Data Mining Logic in Paraconsistent Fuzzy Logic Framework. In F. Rossi and A. Tsoukias (Eds.): ADT'09, LNAI 5783, pp. 284-293, 2009.

Connecting a Tenable Mathematical Theory to Models of Fuzzy Phenomena. In R. Seissing (Ed.): Studies in Fuzziness and Soft Computing. Springer Berlin / Heidelberg, pp. 247-270, 2009.

A Para Consistent Fuzzy Logic. In R. Ramanujam and S. Sarukkai (Eds.): ICLA 2009, LNAI, pp.77-88, 2009.

2008

Continuous extension of 4 Belnap values. Proceedings of LFA 2008: Rencontres francophones sur la Logique Floue et ses Applications. 16.-17. October, 2008. Lens, France. (Co-authors Meltem Öztürk and Alexis Tsoukiàs)

States on semi-divisible generalized residuated lattices reduce to states on MV-algebra. Fuzzy Sets and Systems doi:10.1016/j.fss.200801.036. (Co-author Janne Mertanen.)

Deduction Theorem in Monoidal Logic. Journal of the Calcutta Mathematical Society (2)2008, 1-4.

States on semi-divisble residuated lattices. Soft Computing Vol.12 (4)2008, 353-357. (Co-author Janne Mertanen.)

A Characterization of Fuzzy Implications Generated by Generalized Quantifires. Fuzzy Sets and Systems Vol. 159, (4)2008 ,491-499. (Co-authors Emilia Sainio and Radko Mesiar.)

2007

Hyper Arhimedean BL-algeras are MV-algebras. Mathematical Logic Quaterly 53 No 2, 177-182 (2007).

Semi-Boolean and Hyper Archimedean BL-algebras (Proceedings of the X International IFSA Congress 2007, 18.-21. June, 2007. Cancun, Mexico).

2006

Interpreting Data Mining Quantifiers in Mathematical Fuzzy logic. FSCS 2006. Symposium on Fuzzy Systems in Computer Science 2006. 27.-28. September, 2006. Magdeburg, Germany. 33-41. (Co-author Emilia Ylirinne.)

2005

Semilocal BL-algeras . Proceedings of the IX International IFSA Congress 2005. 28.-31. July 2005, Beiging, China. 252-256.

2004

Defining Athlete's Aerobig and Anaerobig Thresholds by Using Similarity Measures and Differential Evolution. 2004 IEEE Int. Conference of Systems, Man and Cybernetics. 1331-1335. (Co-authors Jaakko Ketola and Kalle Saastamoinen.)

Tuning the Parameters for the Decision Making System in Order to Define Athlete's Aerobig and Anaerobig Thresholds. ICCAS 2004. 25.-27. August 2004 Bangkok, Thailand. 317-320. (Co-authors Jaakko Ketola and Kalle Saastamoinen.)

Short Term Prediction of Highway Travel Time Using Data Mining and Neuro-Fuzzy Methods. Neural Network World 3-4/2004, pp. 221-231. (Co-author David Coufal.)

2003

Predicting maximal heart rate from the UKK 2 km walk test results: soft computing and linear regression methods. 8th annual congress of the European Collage of Sports Science. 9-12 July 2003 Salzburg, Austria.P11U-04. (Co-authors Ari Manttari, Pasi Luukka and Jari Parkkari.)

Short Term Prediction of Highway Travel Time Using Data Mining and Neuro-Fuzzy Methods. IFSA 2003. Proceedings of the 10.th IFSA World Congress. June 29 - July 2, 2003 Istanbul, Turkey. 175-186. (Co-author David Coufal.)

A Lukasiewicz-style Many-valued Similarity Reasoning. Review. in: Beyond Two: Theory and Applications of Multiple-Valued Logic. Advances in Soft Computing. Physica-Verlag, Heidelberg 2003. 337-348. (Eds. M. Fitting and E. Orlowska).

Traffic signal control on similarity logic reasoning. Fuzzy Sets and Systems 133(2003) 109-131 (Co-author Jarkko Niittymäki.)

2002

Fuzzy Traffic Signal Control and a New Inference Method - Maximal Fuzzy Similarity. Proceedings of the 13th Mini-EURO Conference and the 9th Meeting of the EURO Working Group on Transportation. 10.-13.6.2002, Bari, Italy. 716-728. (Co-authors Jarkko Niittymäki and Riku Nevala.)

Fuzzy model for real-time reservoir operation. Journal of Water Resources Planning and Management 128(2002) 66-73. (Co-authors Tanja Dubrovin and Ari Jolma.)

Many-valued Similarity Reasoning. An Axiomatic Approach. International Journal of Multiple Valued Logic 8(2002) 751-760 (Co-author Paavo Kukkurainen.)

2001

Fuzzy Model for Real-Time Reservoir Operation. Proceedings of CIMA'01. Bangor, Wales 19-22 June 2001, pp 802--812. (Co-authors T. Dubrovin and A. Jolma.)

Local BL-algebras. International Journal of Multiple Valued Logic 6(2001) 229-249. (Co-author Salvatore Sessa.)

Boolean deductive systems of BL-algebras. Archive for Mathematical Logic 40(2001) 467-473.

Survey of Theory and Applications of Lukasiewicz-Pavelka Fuzzy Logic. in: Lectures on Soft Computing and Fuzzy Logic. Advances in Soft Computing. Physica-Verlag, Heidelberg 2001. 313-337. (Eds. A. di Nola and G. Gerla).

2000

COST Action 15 (Many-Valued Logics for Computer Science Applications). ATLAS of Many-Valued Strucures. Tampere University of Technology. Mathematics Report 75 (2000). Eds. Luisa Iturrioz, Ewa Orlowska, Esko Turunen.

Fuzzy Propositional Logic. In V. Novák, I. Perfilieva (eds): Discovering World with Fuzzy Logic: Perspectives and Approaches to Formalizations of Human-Consistent Logical Systems, Studies in Fuzzyness and Soft Computing (Springer-Verlag) 251-270 (2000).

Asiantuntijan ajattelun mallintaminen sumean logiikan avulla. Report of MALU 2002 Research Project: Rolf Nevanlinna-Institute C36 (2000), http://www.rni.helsinki.fi/MALU/sumea/.

1999

BL-algebras of Basic Fuzzy Logic. Mathware and Soft Computing 6(1999) 49-61.

Mathematics behind Fuzzy Logic. Advances in Soft Computing. Physica-Verlag, Heidelberg, 1999. 191 pp.

Traffic Signal Control Using Fuzzy Methods - Controller Development, in: Intelligent Systems and Active DSS. Abstracts of the IFORS SPC-9 Congress. April 25.-27.1999. Turku, Finland. 88-91.

Using Fuzzy Similarity in Solving Traffic and Transportation Problems, in: Proceedins of the 7.th Meeting of the EURO Working Group on Transportation and 11.th Mini-EURO Conference on Artificial Intelligence in Transportation Systems and Science. August 2.-6.1999. Helsinki, Finland. xxxii.

Many-Valued Similarity Modelling Traffic Signal Control, in: Proceedins of 1999 EUSFLAT-ESTYLF joint Conference. September 22.-25.1999. Palma de Mallorca, Spain. 67-70. (co-author Jarkko Niittymäki).

1998

On Complete and Strongly Stonian MV-algebras. Scientiae Mathematicae 1(1998) 23-26. (co-author Salvatore Sessa)

Boolean deductive systems of BL-algebras. Lappeenranta University of Technology. Research Reports 61/1998. Department of Information Technology (1998). 8 p.

1997

Sumean logiikan matematiikka. Otatieto, 1997.167 pp. (Sedond edition 1998)

Rules of Inference in Fuzzy Sentential Logic. Fuzzy Set and Systems 85(1997) 63-72.

BL-algebras of Basic Fuzzy Logic. Lappeenranta University of Technology. Research Reports 59/1997. Department of Information Technology (1997). 17 p.

Note on Deduction Theorem, in: Fuzzy Logic. Proceedins of Seventh IFSA World Congress. June 25.-29.1997. Prague, Czech Republic. Vol.1. 178-180.

1996

Injective MV-algebras, Fuzzy Predicate Logic and Completeness, in: Proceedins of IPMU'96, Information Processing and Management of Uncertainty in Knowledge-based Systems. July 1.-5.1996. Granada, Spain. Vol.2. 1015-1019.

1995

Algebraic Analysis of LPC+Ch Calculus. Kybernetika 31(1995) 99-106.

Well-defined Fuzzy Sentential Logic. Mathematical Logic Quarterly 41(1995) 236-248.

Rules of Inference in fuzzy logic, in: Proceedins of IFSA'95 World Congress. July 22.-28.1995. Sao Paulo, Brazil. Vol.2. 345-442.

1994

Matematiikan kaavoissa sumea logiikka on eksaktia tiedettä. Sähkö&Tele 67 (1994) 7. 16-17.

Well-defined Fuzzy Predicate Logic. Lappeenranta University of Technology. Research Reports 48/1994. Department of Information Technology (1994). 28 p.

On Fuzzy Sentential Logic, in: EUFIT'94. European Congress on Intelligent Techniques and Soft Computing. September 20.-23.1994. Aachen, Germany. Vol.2. 791-795.

A Mathematical Study of Fuzzy Logic: an Algebraic Approach Ph.D.diss. Lappeenranta University of Technology. Research Papers 38. Lappeenranta 1994.

1993

Matematiikan kaavoissa sumeakin on täsmällistä. Etelä-Saimaa 26. 11. 1993.

On What Every Young Research Worker Involved in Fuzzy Set Theory Should Know about the Connection between MV-algebras and Fuzzy Logic, in: FiF'93. Fuzziness in Finland 1993. Abo Akademi. Reports on Computer Science et Mathematics. Ser. B. No 15, 1993. 99-122.

1992

On Fuzzy Intuitionistic Logic. In: L.A. Zadeh, J. Kacprzyk (eds.): Fuzzy logic for the management of uncertainty. J. Wiley and Sons. New York (1992) 159-169.

Algebraic structures in Fuzzy Logic. Fuzzy Sets and Systems 51(1992) 181-188.

The Algebra of First-order Fuzzy Logic. Kybernetika 28(1992) 506-511.

Mathematical Foundations of Fuzzy Logic, in: Proceedings of the 2nd International Conference on Fuzzy Logic and Neural Networks. July 17.-22. 1992. Iizuka, Japan. (1992) 571-574.

On Fuzzy Intuitionistic Logic, in: Proceedings of the International Symposium on Fuzzy Approach to Reasoning and Decision Making. June 21.-25. 1990. Bechine, Czechoslovakia.Kybernetika 28(1992) 72-77.

MV-algebra: The Basis of Fuzzy Logic, in: Hyvönen, E., Seppänen, J., and Syrjänen, M. (eds.); New Directions in Artificial Intelligence. Finnish Artificial Intelligence Conference. June 9.-11.1992. Otaniemi, Finland. (1992) 3-9.

1991

A Note on Pavelka's Fuzzy Logic Zeitschr. f. Math. Logik und Grundlagen d. Math. 37(1991) 39-40.

Residuated Lattices in Multiple-valued and Fuzzy Logical Systems. Universita di Napoli. Preprint N:o 12 (1991) 15 p.

The Algebra of First-order Fuzzy Logic. Universita di Napoli. Preprint N:o 28 (1991) 5 p.

Residuated Lattices in Fuzzy Logical Systems, in: Fuzzy Engineering toward Human Friendly Systems. (1). Proceedings of the International Fuzzy Engineering Symposium ³91. November 13.-15. 1991. Yokohama, Japan (1991) 60-70.

On Fuzzy Intuitionistic Logic, in: Proceedings of the International Conference on Fuzzy Logic. December 9.-12. 1990. Visehrad, Hungary. Annales Univ. Sci. Budapest. Sect. Comp. 12(1991) 241-247.

1990

Teollisuusmatemaatikon toimenkuva. Rolf Nevanlinna Institute: Reports B3 (1990) (30 p.).

A Completeness Theorem on Pavelka³s Fuzzy Logic. Lappeenranta University of Technology. Research Reports 17/1990. Department of Information Technology (1990). 15 p.

On Fuzzy Intuitionistic Logic, in: Proceedings of the International Conference on Fuzzy Logic. December 9.-12. 1990. Visehrad, Hungary.

1989

Sumea logiikka on täsmällistä ajattelua. Tiede&Edistys 3(1989), 51-56.

On Brouwerian Valued Fuzzy Logic. Universita di Pisa: Dipartimento di Matematica 2.14(461) Luglio (1989) 17 p.

1987

On Generalized Fuzzy Relation Equations: Necessary and Sufficient Conditions for the Existence of Solutions. Acta Universitatis Carolinae. Mathematica et Physica 28(1987) 33-37.

Esko Turunen 2012-04-27