Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
423375 | Electronic Notes in Theoretical Computer Science | 2006 | 8 Pages |
Abstract
There are several ways to extend the classical logical connectives for fuzzy truth degrees, in such a way that their behavior for the values 0 and 1 work exactly as in the classical one. For each extension of logical connectives the formulas which are always true (the tautologies) changes. In this paper we will provide a fuzzy interpretation for the usual connectives (conjunction, disjunction, negation, implication and bi-implication) such that the set of tautologies is exactly the set of classical tautologies. Thus, when we see logics as set of formulas, then the propositional (classical) logic has a fuzzy model.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics