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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cintula, P., Navara, M.: Compactness of fuzzy logics. Fuzzy Sets and Systems 143, 59–73 (2004)
Di Lascio, L.: Analytic fuzzy tableaux. In: Soft Computing - A Fusion of Foundations, Methodologies and Applications, pp. 434–439. Springer, Heidelberg (2001)
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)
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)
Hájek, P.: Metamathematics of fuzzy logic, p. 297. Kluwer Acad.Publ., Dordrecht (1998)
Hájek, P., Godo, L.: Deductive systems of fuzzy logic (a tutorial), vol. 13, pp. 35–66. Tatra-mountains mathematical publications (1997)
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)
Horčik, R., Navara, M.: Validation sets in fuzzy logics. Kybernetika 38, 319–326 (2002)
Klement, E.P., Navara, M.: A survey of different triangular norm-based fuzzy logics. Fuzzy Sets and Systems 101, 241–251 (1999)
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)
Navara, M.: Satisfiability in fuzzy logics. Neural Network World 10, 845–858 (2000)
Schweizer, B., Sklar, A.: Associative functions and abstract semi-groups. Publ. Math. Debrecen 10, 69–81 (1963)
Słupecki, J., Borkowski, L.: Elements of mathematical logic and set theory, p. 349. Pergamon Press, Oxford (1967)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tabakow, I. (2006). An Introduction to Fuzzy Propositional Calculus Using Proofs from Assumptions. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2006. Lecture Notes in Computer Science(), vol 4252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11893004_24
Download citation
DOI: https://doi.org/10.1007/11893004_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46537-9
Online ISBN: 978-3-540-46539-3
eBook Packages: Computer ScienceComputer Science (R0)