Abstract
Pan pointed out that there are three kinds of different negations: contradictory negation, opposite negation and medium negation. He also proposed the novel fuzzy set FScom with the above three kinds of negations, followed by one improved fuzzy set IFScom that is established based on FScom. In this paper, a novel fuzzy propositional logic calculus system that equipped with three kinds of negations is set up to correspond to the FScom and IFScom. The soundness theorem and completeness theorem of the system is proved.
This is a preview of subscription content, log in via an institution to check access.
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
Wagner, G.: Web rules need two kinds of negation. In: Bry, F., Henze, N., Małuszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33–50. Springer, Heidelberg (2003)
Analyti, A., Antoniou, G., Damasio, C.V., Wagner, G.: Negation and Negative Information in the W3C Resource Description Framework. Annals of Mathematics, Computing and Teleinformatics (AMCT) 1(2), 25–34 (2004)
Kaneiwa, K.: Negations in description logic-contraries, contradictories, and subcontraries. In: Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), pp. 66–79 (2005)
Ferré, S.: Negation, Opposition, and Possibility in Logical Concept Analysis. In: Missaoui, R., Schmidt, J. (eds.) ICFCA 2006. LNCS (LNAI), vol. 3874, pp. 130–145. Springer, Heidelberg (2006)
Pan, Z.H.: Three kinds of fuzzy knowledge and their base of set. Chinese Journal of Computers 35(7), 1421–1428 (2012) (in Chinese)
Zhang, S.L., Pan, Z.H.: An improved set description of negative knowledge processing in fuzzy knowledge. Journal of Shangdong University (Natural Science) 46(5), 103–109 (2011) (in Chinese)
Wang, G.J.: Non-classical mathematical logics and approximate reasoning. Science Press, Beijing (2008) (in Chinese)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, S. (2013). On Fuzzy Propositional Logic with Different Negations. In: Grossi, D., Roy, O., Huang, H. (eds) Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science, vol 8196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40948-6_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-40948-6_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40947-9
Online ISBN: 978-3-642-40948-6
eBook Packages: Computer ScienceComputer Science (R0)