Relational representation for subordination Tarski algebras

References

• Abad, M., Varela, J. P. D., & Zander, M. (2002). Varieties and quasivarieties of monadic Tarski algebras. Scientiae Mathematicae Japonicae, 56(3), 599–612.
   Google Scholar
• Abbott, J. C. (1967a). Implicational algebras. Bulletin Mathématique De La Société Des Sciences Mathématiques De La République Socialiste De Roumanie, 11(1), 3–23.
   Google Scholar
• Abbott, J. C. (1967b). Semi-Boolean algebras. Matematicki Vesnik, 19(4), 177–198.
   Google Scholar
• Balbes, R., & Dwinger, P.. (1974). Distributive lattices. Columbia: University of Missouri Press.
   Google Scholar
• Bezhanishvili, G., Bezhanishvili, N., Sourabh, S., & Venema, Y. (2017). Irreducible equivalence relations, Gleason spaces, and de Vries duality. Applied Categorical Structures, 25(3), 381–401. https://doi.org/10.1007/s10485-016-9434-2
   Web of Science ®Google Scholar
• Castro, J., & Celani, S. (2004). Quasi-modal lattices. Order, 21(2), 107–129. https://doi.org/10.1007/s11083-004-6449-3
   Google Scholar
• Celani, S. (2001). Quasi-modal algebras. Mathematica Bohemica, 126(4), 721–736. https://doi.org/10.21136/MB
   Google Scholar
• Celani, S. (2002). A note on homomorphisms of Hilbert algebras. International Journal of Mathematics and Mathematical Sciences, 29(1), 55–61. https://doi.org/10.1155/S0161171202011134
   Google Scholar
• Celani, S. (2016). Precontact relations and quasi-modal operators in Boolean algebras. In Actas del XIII congreso Dr. Antonio AR Monteiro Vol. 13, (pp. 63–79). http://inmabb-conicet.gob.ar/publicaciones/actas-del-congreso-monteiro/13
   Google Scholar
• Celani, S. A. (2005). Modal Tarski algebras. Reports on Mathematical Logic, 39, 113–126.
   Google Scholar
• Celani, S. A. (2019). Complete and atomic Tarski algebras. Archive for Mathematical Logic, 58(7-8), 899–914. https://doi.org/10.1007/s00153-019-00666-x
   Web of Science ®Google Scholar
• Celani, S. A. (2019). Subordination Tarski algebras. Journal of Applied Non-Classical Logics, 29(3), 288–306. https://doi.org/10.1080/11663081.2019.1638080
   Google Scholar
• Celani, S. A., & Cabrer, L. M. (2008). Topological duality for Tarski algebras. Algebra Universalis, 58(1), 73–94. https://doi.org/10.1007/s00012-007-2041-1
   Web of Science ®Google Scholar
• Dimov, G., & Vakarelov, D. (2006). Contact algebras and region-based theory of space: a proximity approach–i. Fundamenta Informaticae, 74(2-3), 209–249.
   Google Scholar
• Dimov, G. D., & Vakarelov, D. (2017). Topological representation of precontact algebras and a connected version of the stone duality theorem-i. Topology and Its Applications, 227, 64–101. https://doi.org/10.1016/j.topol.2017.01.019
   Web of Science ®Google Scholar
• Doctor, H. P. (1964). The categories of Boolean lattices, Boolean rings and Boolean spaces. Canadian Mathematical Bulletin, 7(2), 245–252. https://doi.org/10.4153/CMB-1964-022-6
   Google Scholar
• Düntsch, I., & Vakarelov, D. (2007). Region–based theory of discrete spaces: A proximity approach. Annals of Mathematics and Artificial Intelligence, 49(1–4), 5–14. https://doi.org/10.1007/s10472-007-9064-3
   Web of Science ®Google Scholar
• Katriň'ak, T. (1970). Remarks on the W. C. Nemitz's paper ‘semi-Boolean lattices’. Notre Dame Journal of Formal Logic, 11(4), 425–430.
   Google Scholar
• Monteiro, A. (1980). Sur les algebres de heyting symétriques. Portugaliae Mathematica, 39(1-4), 1–237.
   Google Scholar
• Sambin, G., & Vaccaro, V. (1988). Topology and duality in modal logic. Annals of Pure and Applied Logic, 37(3), 249–296. https://doi.org/10.1016/0168-0072(88)90021-8
   Web of Science ®Google Scholar
• Stone, M. H. (1937). Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society, 41(3), 375–481. https://doi.org/10.1090/tran/1937-041-03
   Google Scholar
• Vakarelov, D. (2007). Region-based theory of space: algebras of regions, representation theory, and logics. In Mathematical problems from applied logic II: Logics for the XXIst century (pp. 267–348). Springer.
   Google Scholar