Abstract
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.