A Study of Interconnections Between Rough and 3-Valued Łukasiewicz Logics

Authors:
Jayanta Sen;Mihir K. Chakraborty
Affiliations:
Department of Pure Mathematics, University of Calcutta, 35, Ballygunge Circular Road, Calcutta-700019, INDIA;Department of Pure Mathematics, University of Calcutta, 35, Ballygunge Circular Road, Calcutta-700019, INDIA
Venue:
Fundamenta Informaticae
Year:
2002

Citing 4
Cited 1

Linear logic

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

Generalized Rough Logics with Rough Algebraic Semantics

International Journal of Cognitive Informatics and Natural Intelligence

Quantified Score

Hi-index	0.00

Visualization

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.