123
Views
0
CrossRef citations to date
0
Altmetric
Articles

Decidability of topological quasi-Boolean algebras

ORCID Icon, ORCID Icon & ORCID Icon
Pages 269-293 | Received 25 May 2023, Accepted 05 Dec 2023, Published online: 02 Apr 2024

References

  • Banerjee, M., & Chakraborty, M. K. (1993). Rough algebra. Bulletin of Polish Academy of Sciences (Mathematics), 41(4), 293–297.
  • Banerjee, M., & Chakraborty, M. K. (1996). Rough sets through algebraic logic. Fundamenta Informaticae, 28(3-4), 211–221. https://doi.org/10.3233/FI-1996-283401
  • Banerjee, M., & Pal, K. (2005). The variety of topological quasi-Boolean algebras. In Proceedings of trends in logic III, Poland.
  • Białynicki-Birula, A., & Rasiowa, H (1957). On the representation of quasi-Boolean algebras. Bulletin of the Polish Academy of Sciences Cl. III, 5(5), 259–261.
  • Buszkowski, W. (2005). Lambek calculus with nonlogical axioms. In C. Casadio (Ed.), Language and grammar (pp. 77–93). CSLI Publication.
  • Buszkowski, W., & Farulewski, M. (2009). Nonassociative Lambek calculus with additives and context-free languages. In O. Grumberg, M. Kaminski, S. Katz & S. Wintner (Eds.), Languages: From formal to natural: Essays dedicated to Nissim Francez on the occasion of his 65th birthday (pp. 45–58). Springer.
  • Greco, G., Liang, F., Manoorkar, K., & Palmigiano, A. (2019). Proper multi-type display calculi for rough algebras. Electronic Notes in Theoretical Computer Science, 344, 101–118. https://doi.org/10.1016/j.entcs.2019.07.007
  • Jäger, G. (2004). Residuation, structural rules and context freeness. Journal of Logic, Language and Information, 13(1), 47–59. https://doi.org/10.1023/A:1026175817625
  • Lin, Z., Chakraborty, M. K., & Ma, M. (2021). Residuated algebraic structures in the vicinity of pre-rough algebra and decidability. Fundamenta Informaticae, 179(3), 239–274. https://doi.org/10.3233/FI-2021-2023
  • Ma, M., Chakraborty, M. K., & Lin, Z. (2018). Sequent calculi for varieties of topological quasi-Boolean algebras. In H. Nguyen, QT. Ha, T. Li, & M. Przybyła-Kasperek (Eds.), Rough Sets IJCRS 2018 (pp. 309–322). Springer.
  • McKinsey, J. C. C., & Tarski, A. (1944). The algebra of topology. The Annals of Mathematics, 45, 1141–191. https://doi.org/10.2307/1969080
  • Pawlak, Z. (1982). Rough sets. International Journal of Computer and Information Sciences, 11, 5341–356. https://doi.org/10.1007/BF01001956
  • Rasiowa, H. (1974). An algebraic approach to non-classical logics. North-Holland Publishing Company.
  • Saha, A., Sen, J., & Chakraborty, M. K. (2014). Algebraic structures in the vicinity of pre-rough algebra and their logics. Information Sciences, 282, 296–320. https://doi.org/10.1016/j.ins.2014.06.004
  • Sen, J., & Chakraborty, M. K. (2002). A study of interconnections between rough and 3-valued Łukasiewicz logics. Fundamenta Informaticae, 51(3), 311–324.
  • Van Benthem, J., & Bezhanishvili, G. (2007). Modal logics of space. In M. Aiello, I. Pratt-Hartmann, & J. van Benthem (Eds.), Handbook of spatial logics (pp. 217–298). Dordrecht: Springer.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.