Weakly associative functions on [0, 1] as logical connectives [fuzzy logic]

Author(s):  
M.F. Kawaguchi ◽  
M. Miyakoshi
Author(s):  
Radim Belohlavek ◽  
Joseph W. Dauben ◽  
George J. Klir

The term “fuzzy logic” (FL) is a generic one, which stands for a broad variety of logical systems. Their common ground is the rejection of the most fundamental principle of classical logic—the principle of bivalence—according to which each declarative sentence has exactly two possible truth values—true and false. Each logical system subsumed under FL allows for additional, intermediary truth values, which are interpreted as degrees of truth. These systems are distinguished from one another by the set of truth degrees employed, its algebraic structure, truth functions chosen for logical connectives, and other properties. The book examines from the historical perspective two areas of research on fuzzy logic known as fuzzy logic in the narrow sense (FLN) and fuzzy logic in the broad sense (FLB), which have distinct research agendas. The agenda of FLN is the development of propositional, predicate, and other fuzzy logic calculi. The agenda of FLB is to emulate commonsense human reasoning in natural language and other unique capabilities of human beings. In addition to FL, the book also examines mathematics based on FL. One chapter in the book is devoted to overviewing successful applications of FL and the associated mathematics in various areas of human affairs. The principal aim of the book is to assess the significance of FL and especially its significance for mathematics. For this purpose, the notions of paradigms and paradigm shifts in science, mathematics, and other areas are introduced and employed as useful metaphors.


2020 ◽  
Vol 17 (13) ◽  
pp. 2050201
Author(s):  
Davide Pastorello

Within the Hamiltonian framework, the propositions about a classical physical system are described in the Borel [Formula: see text]-algebra of a symplectic manifold (the phase space) where logical connectives are the standard set operations. Considering the geometric formulation of quantum mechanics we give a description of quantum propositions in terms of fuzzy events in a complex projective space equipped with Kähler structure (the quantum phase space) obtaining a quantized version of a fuzzy logic by deformation of the product [Formula: see text]-norm.


2000 ◽  
Vol 4 (2) ◽  
pp. 103-105 ◽  
Author(s):  
V. Švejdar ◽  
K. Bendová

Author(s):  
Yong Su ◽  
Hua-Wen Liu ◽  
Witold Pedrycz

Distributivity between two operations is a property posed many years ago — that is especially interesting in the framework of logical connectives because of its applications to fuzzy logic and approximate reasoning as their applications. Since semi-uninorms have been used in these topics, the study of the distributivity between two semi-uninorms becomes of particular interest that calls for thorough studies. The distributivity between two semi-uninorms, which are non-commutative and non-associative uninorms, has been developed only in the cases when both semi-uninorms are examples of very special classes of semi-uninorms. On the other hand, in general, the distributivity does not rely on the commutativity and associativity. The objective of this work is twofold. The first one is to show new solutions to distributivity equations for semi-uninorms. The second one is to check whether the results concerning the distributivity between two uninorms are valid for semi-uninorms. We investigate the distributivity involving two semi-uninorms when only one semi-uninrom lies in the most studied classes of semi-uninorms, achieving the above two objectives simultaneously.


Author(s):  
Roman Vorobel

Triangular norms and associative functions arebase of connectives in fuzzy logic and fuzzy systems. Newconnective operator that can generate different classes of fuzzyconnectives is proposed. It is proved that this operator satisfiesthe requirements of such axioms as commutativity, associativity,monotonicity and boundary conditions. It is parameterized andtherefore new triangular norms are obtained. Constructedparameterized triangular norms are of a strict and Archimediantype.


Author(s):  
CLAUDI ALSINA ◽  
ENRIC TRILLAS

We characterize logical connectives given by t-norms and t-conorms which are N-complementary with respect to a strong negation. We clarify the relation between this notion and the usual N-duality as well as its implications concerning the validity of the classical-like Excluded-Middle and Non-Contradiction laws in Fuzzy Logic.


2012 ◽  
Author(s):  
Thomas M. Crawford ◽  
Justin Fine ◽  
Donald Homa
Keyword(s):  

1970 ◽  
Vol 61 (6, Pt.1) ◽  
pp. 451-460 ◽  
Author(s):  
Edith D. Neimark ◽  
Nan S. Slotnick
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document