×

An extension principle for fuzzy logics. (English) Zbl 0811.03019

In this paper “an extension principle” for closure operators and, in particular, for deduction systems is proposed and examined. Namely any closure operator \(J\) defined on the class of all subsets of a set \(S\) is extended into a fuzzy closure operator \(J^*\) defined on the class of all fuzzy subsets of \(S\). Thus, the notion of a canonical extension of a deduction system and interesting examples of fuzzy logics are given. In particular, the canonical extension of classical propositional calculus is defined. Further, the canonical extension of first-order logic makes it possible to define the fuzzy Herbrand models of fuzzy programs. Finally, it is shown that the extension principle makes it possible to obtain fuzzy logics related to fuzzy subalgebra theory and graded consequence relation theory.

MSC:

03B52 Fuzzy logic; logic of vagueness
03B70 Logic in computer science
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] Biacino, J. Math. Anal. Appl. 172 pp 179– (1991)
[2] Biacino, Inform. Sci. 32 pp 181– (1984)
[3] Biacino, International Journal of Intelligent Systems 7 pp 445– (1992)
[4] Use of fuzzy set theory in introducing graded consequence in multiple valued logic. In: Fuzzy Logic in Knowledge-Based Systems, Decision and Control ( and , eds.), North-Holland Publ. Comp., Amsterdam 1988, pp. 247–257.
[5] Conrad, J. Math. Anal. Appl. 74 pp 432– (1980)
[6] Di Nola, Stochastica 11 pp 137– (1987)
[7] and , Possibility Theory. Plenum Press, New York 1988.
[8] Gerla, Zeitschrift Math. Logik Grundlagen Math. 31 pp 123– (1985)
[9] Foundations of Logic Programming. Springer-Verlag, Berlin-Heidelberg-New York 1987. · Zbl 0668.68004
[10] Murali, Fuzzy Sets and Systems 41 pp 101– (1991) · Zbl 0731.08007
[11] Negoita, Kybernetes 4 pp 169– (1975)
[12] Pavelka, Zeitschrift Math. Logik Grundlagen Math. 25 pp 45– (1979)
[13] Rosenfeld, J. Math. Anal. Appl. 35 pp 512– (1971)
[14] Zadeh, Inform. and Control 12 pp 338– (1965)
[15] Zadeh, Synthese 30 pp 407– (1975)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.