Abstract
This paper considers a number of alternative rough consequence logics which come in a natural way from the logics L r and \(\cal L_R\) previously studied by Chakraborty and Banerjee. The systems have been compared to variants of S5, and the logic Triv of Hughes and Cresswell. A comparison has also been made with L r and \(\cal L_R\), and therefore with Jaśkowski’s discussive logic J, as J is equivalent to \(\cal L_R\).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Pawlak, Z.: Rough sets. Int. J. Computer and Information Sciences 11(5), 341–356 (1982)
Banerjee, M., Chakraborty, M.K.: Rough consequence and rough algebra. In: Ziarko, W.P. (ed.) Rough Sets, Fuzzy Sets and Knowledge Discovery, Proc. Int. Workshop on Rough Sets and Knowledge Discovery (RSKD 1993), Canada, pp. 196–207. Springer, London (1994)
Chakraborty, M.K., Banerjee, M.: Rough consequence. Bull. Polish Acad. Sc(Math.) 41(4), 299–304 (1993)
Wasilewska, A., Vigneron, L.: Rough equality algebras. In: Wang, P. (ed.) Proc. Int. Workshop on Rough Sets and Soft Computing at 2nd Annual Joint Conf. on Inf. Sc (JCIS 1995), pp. 26–30 (1995)
Bunder, M.W.: Rough consequence and Jaśkowski’s D2 logics. Technical report 2/04, School of Mathematics and Applied Statistics, University of Wollongong, Australia (2004)
Banerjee, M.: Logic for rough truth. Fund. Informaticae 71(2-3), 139–151 (2006)
Pawlak, Z.: Rough logic. Bull. Polish Acad. Sc (Tech. Sc.) 35, 253–258 (1987)
Jaśkowski, S.: Propositional calculus for contradictory deductive systems. Studia Logica 24, 143–157 (1969); First published in Polish in Studia Scientarium Torunensis Sec A II 55–77 (1948)
Rasiowa, H., Skowron, A.: Rough concepts logic. In: Skowron, A. (ed.) SCT 1984. LNCS, vol. 208, pp. 288–297. Springer, Heidelberg (1985)
Orłowska, E.: Incomplete Information: Rough Set Analysis. Springer, Berlin (1998)
Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, London (1996)
Fitting, M.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel, Dordrecht (1983)
Marek, V.W., Truszczyński, M.: Nonmonotonic Logic. Springer, Berlin (1993)
da Costa, N.C.A., Dubikjatis, L.: On Jaśkowski’s discussive logic. In: Arruda, A.I., da Costa, N.C.A., Chaqui, R. (eds.) Non-Classical Logics, Model Theory and Computability, pp. 37–56. North Holland, Amsterdam (1977)
da Costa, N.C.A., Doria, F.A.: On Jaśkowski’s discussive logics. Studia Logica 54, 33–60 (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bunder, M.W., Banerjee, M., Chakraborty, M.K. (2008). Some Rough Consequence Logics and their Interrelations. In: Peters, J.F., Skowron, A. (eds) Transactions on Rough Sets VIII. Lecture Notes in Computer Science, vol 5084. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85064-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-85064-9_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85063-2
Online ISBN: 978-3-540-85064-9
eBook Packages: Computer ScienceComputer Science (R0)