Theoretical Computer Science
Linear logic: its syntax and semantics
Proceedings of the workshop on Advances in linear logic
Rough sets through algebraic logic
Fundamenta Informaticae - Special issue: to the memory of Prof. Helena Rasiowa
Rough sets and 3-valued Lukasiewicz logic
Fundamenta Informaticae
Logic for rough sets with rough double stone algebraic semantics
RSFDGrC'05 Proceedings of the 10th international conference on Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing - Volume Part I
Hi-index | 0.00 |
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.