# An Introduction to Fuzzy Propositional Calculus Using Proofs from Assumptions

• Iwan Tabakow
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4252)

## Abstract

The subject of this paper is fuzzy propositional calculus. The proposed approach is related to the basic fuzzy propositional logics, i.e. to each of the following three most important such systems (in short: BL): Łukasiewicz’s, Gödel’s, and product logic. The logical calculi considered here are based on a system of rules that define the methods used in proofs from assumptions. To simplify the considered proofs some set of laws called also ‘primitive rules’ is next introduced. It was shown that any fuzzy propositional formula provable under Hájek’s axioms of the logic BL is also provable under the above-proposed approach.

## Keywords

Fuzzy Logic Propositional Variable Axiomatic Approach Indirect Proof Truth Degree
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## References

1. 1.
Cintula, P., Navara, M.: Compactness of fuzzy logics. Fuzzy Sets and Systems 143, 59–73 (2004)
2. 2.
Di Lascio, L.: Analytic fuzzy tableaux. In: Soft Computing - A Fusion of Foundations, Methodologies and Applications, pp. 434–439. Springer, Heidelberg (2001)Google Scholar
3. 3.
Gottwald, S.: Many-valued logic. The Stanford Encyclopedia of Philosophy. In: Zalta, E.N. (ed.) The Metaphysics Research Lab at the Center for the Study of Language and Information, Stanford University, Stanford, CA, p. 14 (2000)Google Scholar
4. 4.
Hájek, P.: Fuzzy Logic. The Stanford Encyclopedia of Philosophy. In: Zalta, E.N. (ed.) The Metaphysics Research Lab at the Center for the Study of Language and Information, Stanford University, Stanford, CA, p. 7 (2002)Google Scholar
5. 5.
Hájek, P.: Metamathematics of fuzzy logic, p. 297. Kluwer Acad.Publ., Dordrecht (1998)
6. 6.
Hájek, P., Godo, L.: Deductive systems of fuzzy logic (a tutorial), vol. 13, pp. 35–66. Tatra-mountains mathematical publications (1997)Google Scholar
7. 7.
Horčik, R., Navara, M.: Consistency degrees in fuzzy logics. In: Proc 9th Int. Conf. Information Processing and Management of Uncertainty, ESIA – Université de Savoie, Annecy,France, pp. 399–403 (2002)Google Scholar
8. 8.
Horčik, R., Navara, M.: Validation sets in fuzzy logics. Kybernetika 38, 319–326 (2002)
9. 9.
Klement, E.P., Navara, M.: A survey of different triangular norm-based fuzzy logics. Fuzzy Sets and Systems 101, 241–251 (1999)
10. 10.
Klement, E.P., Navara, M.: Propositional fuzzy logics based on Frank t-norms. In: Dubois, D., Klement, E.P., Prade, H. (eds.) Fuzzy sets, Logics and Reasoning about Knowledge. Applied Logic Series, vol. 15, pp. 17–38. Kluwer, Dordrecht (1999)Google Scholar
11. 11.
Navara, M.: Satisfiability in fuzzy logics. Neural Network World 10, 845–858 (2000)Google Scholar
12. 12.
Schweizer, B., Sklar, A.: Associative functions and abstract semi-groups. Publ. Math. Debrecen 10, 69–81 (1963)
13. 13.
Słupecki, J., Borkowski, L.: Elements of mathematical logic and set theory, p. 349. Pergamon Press, Oxford (1967)Google Scholar