Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: pre-rough algebra

Sortuj według:

Ogranicz wyniki do:

Residuated Algebraic Structures in the Vicinity of Pre-rough Algebra and Decidability

Lin Zhe, Chakraborty Mihir Kumar, Ma Minghui

Fundamenta Informaticae

2021

Vol. 179, nr 3

239--274

Varieties of topological quasi-Boolean algebras in the vicinity of pre-rough algebras [28, 29] are expanded to residuated algebraic structures by introducing a new implication operation and its residual in these structures. Sequent calculi for some classes of residuated algebraic structures are established. These sequent calculi have the strong finite model property which yields the decidability of the word problem for corresponding classes of algebraic structures.

Characterizing Rough Algebras

Umadevi D.

Fundamenta Informaticae

2017

Vol. 152, nr 2

167--183

In this paper, a characterization for the class of all rough algebras from the class of all Q-rough algebras is obtained.