A study of interconnections between rough and 3-valued Lukasiewicz logics
Jayanta Sen, Mihir K. Chakraborty · Fundamenta Informaticae · 2002
Sequent calculi for topological quasi-Boolean algebras, topological quasi-Boolean algebras without distributivity, pre-rough algebras and Wajsberg algebras have been presented. It is shown that the calculi for the latter two classes of algebras are equivalent. A connection between some logics for the first class of algebras and the linear logic or linear logic with distributivity has been established.