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

• Autorzy: Sen J. , Chakraborty M.K.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

rough sets; pre-rough logic; Łukasiewicz logic; linear logic

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 51, nr 3
• Strony: 311--324
• Opis fizyczny: bibliogr. 28 poz.

Twórcy

autor

Sen J.

autor

Chakraborty M.K.

• Department of Pure Mathematics , University of Calcutta, 35.Ballygunge Circular Road, Calcutta-700019, India,