Propositional Logic as a Propositional Fuzzy Logic
Pages 5 - 12
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.
References
[1]
Alsina, C., Trillas, E. and Valverde, L., On non-distributive logical connectives for fuzzy set theory. Busefal. v3. 18-29.
[2]
Baaz, M., Hájek, P., Montagna, F. and Veith, H., Complexity of t-tautologies. Annal in Pure and Applied Logic. v113 i1--3. 3-11.
[3]
Baczynski, M., Residual implications revisited. Notes on the Smets-Magrez. Fuzzy Sets and Systems. v145 i2. 267-277.
[4]
Bellman, R.E. and Zadeh, L.A., Decision-making in a fuzzy environment. Management Science. v17. B141-B164.
[5]
R.E. Bellman and L.A. Zadeh (1976). Local and fuzzy logics. Memorandum N0 ERL-M584, Electronics Research Laboratory, College of Engineering, University of California, Berkeley
[6]
Bustince, H., Burillo, P. and Soria, F., Automorphism, negations and implication operators. Fuzzy Sets and Systems. v134. 209-229.
[7]
Davis, R.E., Truth, Deduction, and Computation: Logic and Semantics for Computer Science. 1989. Computer Science Press.
[8]
Fodor, J.C., On fuzzy implication operators. Fuzzy Sets and Systems. v42. 293-300.
[9]
Hájek, P. and Godo, L., Deductive systems of fuzzy logic (a tutorial). In: Mesiar, R., Riecan, B. (Eds.), Tatra Mountains Mathematical Publications, Vol. 13. Math. Inst. Slovak Acad. Sci., Bratislava. pp. 35-68.
[10]
Hájek, P., Basic fuzzy logic and BL-algebras. Soft Computing. v2. 124-128.
[11]
Kleene, S.C., Introduction to Metamathematics. 1952. Van Nostrand.
[12]
Mesiar, R. and Novák, V., Operating fitting triangular-norm-based biresiduation. Fuzzy Sets and Systems. v104. 77-84.
[13]
Schweizer, B. and Sklar, A., Associative functions and abstract semigroups. Publ. Math. Debrecen. v10. 69-81.
[14]
Yager, R.R., An approach to inference in approximate reasoning. International Journal on Man-Machine Studies. v13. 323-338.
[15]
Zadeh, L.A., Fuzzy sets. Information and Control. v8. 338-353.
[16]
L.A. Zadeh (1994) Preface. in (Marks-II R.J.) Fuzzy Logic Technology and Applications. IEEE Technical Activities Board
- Propositional Logic as a Propositional Fuzzy Logic
Recommendations
An alternative proof of the Hilbert-style axiomatization for the -fragment of classical propositional logic
AbstractDyrda and Prucnal gave a Hilbert-style axiomatization for the -fragment of classical propositional logic. Their proof of completeness follows a different approach to the standard one proving the completeness of classical propositional logic. ...
On goal-directed provability in classical logic
One of the key features of logic programming is the notion of goal-directed provability. In intuitionistic logic, the notion of uniform proof has been used as a proof-theoretic characterization of this property. Whilst the connections between ...
The Lambek Calculus Extended with Intuitionistic Propositional Logic
We present sound and complete semantics and a sequent calculus for the Lambek calculus extended with intuitionistic propositional logic.
Comments
Information & Contributors
Information
Published In
Copyright © Elsevier B.V. © 2005.
Publisher
Elsevier Science Publishers B. V.
Netherlands
Publication History
Published: 01 January 2006
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 25 Dec 2024