Abstract
A structural theorem for Kleene algebras is proved, showing that an element of a Kleene algebra can be looked upon as an ordered pair of sets, and that negation with the Kleene property (called the ‘Kleene negation’) is describable by the set-theoretic complement. The propositional logic \({\mathcal {L}}_{K}\) of Kleene algebras is shown to be sound and complete with respect to a 3-valued and a rough set semantics. It is also established that Kleene negation can be considered as a modal operator, due to a perp semantics of \({\mathcal {L}}_{K}\). Moreover, another representation of Kleene algebras is obtained in the class of complex algebras of compatibility frames. One concludes with the observation that \({\mathcal {L}}_{K}\) can be imparted semantics from different perspectives.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aguzzoli, S., M. L. Cabrer, and V. Marra, MV-algebras freely generated by finite Kleene algebras, Algebra Universalis 70:245–270, 2013.
Avron, A., and B. Konikowska, Rough sets and 3-valued logics, Studia Logica 90:69–92, 2008.
Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, 1974.
Banerjee, M., Rough sets and 3-valued Łukasiewicz logic, Fundamenta Informaticae 31:213–220, 1997.
Banerjee, M., and M. K. Chakraborty, Rough sets through algebraic logic, Fundamenta Informaticae 28(3–4):211–221, 1996.
Banerjee, M., and D. Dubois, A simple modal logic for reasoning about revealed beliefs, in C. Sossai, G. Chemello (eds.), Proceedings ECSQARU. LNAI 5590, Springer, Berlin, 2009, pp. 805–816.
Bianchi, M., A temporal semantics for nilpotent minimum logic, International Journal of Approximate Reasoning 55:391–401, 2014.
Birkhoff, G., Lattice Theory. Colloquium Publications, vol. XXV, 3rd edn., American Mathematical Society, Providence, 1995.
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, Cambridge, 1991.
Boicescu, V., A. Filipoiu, G. Georgescu, and S. Rudeanu, Łukasiewicz–Moisil Algebras, North-Holland, Amsterdam, 1991.
Cattaneo, G., D. Ciucci, and D. Dubois, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, Information Sciences 181:4075–4100, 2011.
Cignoli, R., Boolean elements in Łukasiewicz algebras, I, Proceedings of the Japan Academy 41:670–675, 1965.
Cignoli, R., The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Algebra Universalis 23(3):262–292, 1986.
Cignoli, R., The algebras of Łukasiewicz many-valued logic: A historical overview, in S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara and V. Marra (eds.), Algebraic and Proof-Theoretic Aspects of Non-classical Logics, LNAI 4460, Springer, Berlin, 2007, pp. 69–83.
Ciucci, D., and D. Dubois, Three-valued logics, uncertainty management and rough sets, Transactions on Rough Sets XVII, LNCS 8375, Springer, Berlin, 2014, pp. 1–32.
Ciucci, D., and D. Dubois, From possibility theory to paraconsistency, in J. Beziau, M.K. Chakraborty and S. Dutta (eds.), New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014, Springer, India, 2015, pp. 229–247.
Comer, S., Perfect extensions of regular double Stone algebras, Algebra Universalis 34(1):96–109, 1995.
Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, Cambridge, 2002.
Dunn, J., The Algebra of Intensional Logic, Doctoral dissertation, University of Pittsburgh, 1966.
Dunn, J., Star and Perp: Two treatments of negation, in J. Tomberlin, (ed.), Philosophical Perspectives, vol. 7, Ridgeview Publishing Company, Atascadero, 1994, pp. 331–357.
Dunn, J., Positive modal logic, Studia Logica 55:301–317, 1995.
Dunn, J., Generalised ortho negation, in H. Wansing (ed.), Negation: A Notion in Focus, Walter de Gruyter, Berlin, 1996, pp. 3–26.
Dunn, J., A comparative study of various model-theoretic treatments of negation: A history of formal negations, in D. Gabbay and H. Wansing (eds.), What is Negation?, Kluwer Academic Publishers, Netherlands, 1999, pp. 23–51.
Dunn, J., Partiality and its dual, Studia Logica 66:5–40, 2000.
Dunn, J., Negation in the context of gaggle theory, Studia Logica 80:235–264, 2005.
Düntsch, I., A logic for rough sets, Theoretical Computer Science 179:427–436, 1997.
Fidel, M., An algebraic study of a propositional system of Nelson, in A. I. Arruda, N. C. A. da Costa and R. Chuaqui (eds.), Mathematical Logic: Proceedings of First Brazilian Conference. Lecture Notes in Pure and Applied Mathematics, vol. 39, M.Dekker Inc., New York, 1978, pp. 99–117.
Font, J. M., Belnap’s four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5(3):1–29, 1997.
Gehrke, M., C. Walker, and E. Walker, Normal forms and truth tables for fuzzy logics, Fuzzy Sets and Systems 138(1):25–51, 2003.
Iturrioz, L., Rough sets and three-valued structures, in E. Orłowska (ed.), Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, Volume 24 of Studies in Fuzziness and Soft Computing, Springer, 1999, pp. 596–603.
Järvinen, J., and S. Radeleczki, Representation of Nelson algebra by rough sets determined by quasiorder, Algebra Universalis 66:163–179, 2011.
Kalman, J., Lattices with involution, Transactions of American Mathematical Society 87:485–491, 1958.
Katriňák, T., Construction of regular double p-algebras, Bulletin de la Societe Royale des Sciences de Liege 43:238–246, 1974.
Kumar, A., A study of algebras and logics of rough sets based on classical and generalized approximation spaces, Doctoral dissertation, Indian Institute of Technology, Kanpur, 2016.
Pagliani, P., Remarks on special lattices and related constructive logics with strong negation, Notre Dame Journal of Formal Logic 31(4):515–528, 1990.
Pagliani, P., Rough set theory and logic-algebraic structures, in E. Orłowska (ed.), Incomplete Information: Rough Set Analysis, Volume 3 of Studies in Fuzziness and Soft Computing, Springer, Heidelberg, 1998, pp. 109–190.
Pawlak, Z., Rough sets, International Journal of Computer and Information Sciences 11:341–356, 1982.
Pawlak, Z., Rough Sets: Theoretical Aspects of Reasoning About Data, Kluwer Academic Publishers, Dordrecht, 1991.
Pynko, A. P., Characterizing Belnap’s logic via De Morgan’s laws, Mathematical Logic Quarterly 41(4):442–454, 1995.
Rasiowa, H., An Algebraic Approach to Non-classical Logics, North-Holland, Amsterdam, 1974.
Restall, G., Defining double negation elimination, Logic Journal of the IGPL 8(6):853–860, 2000.
Saha, A., J. Sen, and M. K. Chakraborty, Algebraic structures in the vicinity of pre-rough algebra and their logics, Information Sciences 282:296–320, 2014.
She, Y., and X. He, Algebraic structures related to nilpotent minimum algebras and rough sets, Journal of Intelligent and Fuzzy Systems 29(4):1367–1380, 2015.
Urquhart, A., Basic many-valued logic, in D. Gabbay, F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 2, Springer, Netherlands, Reidel, Dordrecht, 2001, pp. 249–295.
Vakarelov, D., Notes on N-lattices and constructive logic with strong negation, Studia Logica 36:109–125, 1977.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kumar, A., Banerjee, M. Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics. Stud Logica 105, 439–469 (2017). https://doi.org/10.1007/s11225-016-9696-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-016-9696-6