Abstract
Some classes of topological quasi-Boolean algebras, including algebraic structures related with rough sets, are enriched with residuated and adjoint pairs. The strong finite model property for these classes of algebraic structures is established. The decidability of equational theories of these classes of algebras is derived from the finite model property.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
