How to Construct Formal Systems for Fuzzy Logics.

Authors :: Kacprzyk, J.
Castillo, Oscar
Melin, Patricia
Ross, Oscar Montiel
Sepúlveda Cruz, Roberto
Pedrycz, Witold
Kacprzyk, Janusz
San-min Wang
Zhi-jun Lu
Source :: Theoretical Advances & Applications of Fuzzy Logic & Soft Computing; 2007, p593-601, 9p
Publication Year :: 2007
Abstract: In this paper, we present a sufficient and necessary condition to decide whether a weakly implicative logic has the proof by cases property (PCP for short). This result gives a general method for constructing a weakly implicative fuzzy logic from any given weakly implicative logic. [ABSTRACT FROM AUTHOR]

Language :: English
ISBNs :: 9783540724339
Database :: Supplemental Index
Journal :: Theoretical Advances & Applications of Fuzzy Logic & Soft Computing
Publication Type :: Book
Accession number :: 33417548
Full Text :: https://doi.org/10.1007/978-3-540-72434-6_60