论文信息 - Some Rough Consequence Logics and their Interrelations

Some Rough Consequence Logics and their Interrelations

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 Jaskowski's discussive logic J, as J is equivalent to LR.

[1] N. C. A. da Costa,et al. On JaŚkowski's Discussive Logic(*) , 1977 .

[2] S. Jaskowski. Propositional calculus for contradictory deductive systems , 1969 .

[3] Mohua Banerjee,et al. Rough Consequence and Rough Algebra , 1993, RSKD.

[4] Mohua Banerjee,et al. Logic for Rough Truth , 2006, Fundam. Informaticae.

[5] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .

[6] Newton C. A. da Costa,et al. On Jaśkowski's discussive logics , 1995, Stud Logica.

[7] Helena Rasiowa,et al. Rough concepts logic , 1984, Symposium on Computation Theory.

[8] N. Costa,et al. Non-Classical Logics, Model Theory and Computability , 1980 .

[9] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .

[10] J. Kacprzyk,et al. Incomplete Information: Rough Set Analysis , 1997 .

[11] V. Wiktor Marek,et al. Nonmonotonic Logic , 1993, Artificial Intelligence.