Abstract
This paper considers a number of alternative rough consequence logics which come in a natural way from the logics Lr and LR 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 Lr and LR, and therefore with Jaśkowski's discussive logic J, as J is equivalent to LR. © 2008 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Bunder, M. W., Banerjee, M., & Chakraborty, M. K. (2008). Some rough consequence logics and their interrelations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5084 LNCS, pp. 1–20). https://doi.org/10.1007/978-3-540-85064-9_1
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
