The LindstrØm-Type Characterization of Hajek's Fuzzy Logic of Integrals

Author(s):  
Krystian Adam Jobczyk
Keyword(s):  
Author(s):  
Radim Bělohlávek ◽  
Joseph W. Dauben ◽  
George J. Klir

Mathematical reasoning is governed by the laws of classical logic, based on the principle of bivalence. With the acceptance of intermediate truth degrees, the situation changed substantially. This chapter begins with a characterization of mathematics based on fuzzy logic, an identification of principal issues of its development, and an outline of this development. It then examines the role of fuzzy logic in the narrow sense for developing mathematics based on fuzzy logic and the main approaches developed toward its foundations. Next, some selected areas of mathematics based on fuzzy logic are presented, such as the theory of sets and relations, algebra, topology, quantities and mathematical analysis, probability, and geometry. The chapter concludes by examining various semantic questions regarding fuzzy logic and mathematics based on it.


2020 ◽  
Vol 231 (4) ◽  
Author(s):  
María J. Rivera ◽  
María Santisteban ◽  
Javier Aroba ◽  
José Antonio Grande ◽  
José Miguel Dávila ◽  
...  

Author(s):  
Noor Ezan Abdullah ◽  
Hadzli Hashim ◽  
Yuslinda Wati Mohammad Yusof ◽  
Fairul Nazmie Osman ◽  
Aida Sulinda Kusim ◽  
...  
Keyword(s):  

2014 ◽  
Vol 24 (03) ◽  
pp. 375-411 ◽  
Author(s):  
Francesco Paoli ◽  
Antonio Ledda ◽  
Tomasz Kowalski ◽  
Matthew Spinks

We generalize the notion of discriminator variety in such a way as to capture several varieties of algebras arising mainly from fuzzy logic. After investigating the extent to which this more general concept retains the basic properties of discriminator varieties, we give both an equational and a purely algebraic characterization of quasi-discriminator varieties. Finally, we completely describe the lattice of subvarieties of the pure pointed quasi-discriminator variety, providing an explicit equational base for each of its members.


Sign in / Sign up

Export Citation Format

Share Document