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 L r 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 L r and LR , and therefore with Jaśkowski’s discussive logic J, as J is equivalent toL R .
Please refer to publisher version or contact your library.