Topological systems versus attachment relations

References

• J. Adámek, H. Herrlich and G.E. Strecker, Abstract and Concrete Categories: The Joy of Cats, Dover Publications, Mineola, New York, 2009.
   Google Scholar
• D. Aerts, Foundations of quantum physics: a general realistic and operational approach, Int. J. Theor. Phys. 38(1) (1999), 289–358.
   Web of Science ®Google Scholar
• D. Aerts, E. Colebunders, A. van der Voorde and B. van Steirteghem, State property systems and closure spaces: a study of categorical equivalence, Int. J. Theor. Phys. 38(1) (1999), 359–385.
   Web of Science ®Google Scholar
• D. Aerts, E. Colebunders, A. van der Voorde and B. van Steirteghem, On the amnestic modification of the category of state property systems, Appl. Categ. Struct. 10(5) (2002), 469–480.
   Web of Science ®Google Scholar
• P.M. Cohn, Universal Algebra, D. Reidel Publ. Comp., Dordrecht/Boston/London, 1981.
   Google Scholar
• J.T. Denniston, A. Melton and S.E. Rodabaugh, Formal concept analysis and lattice-valued Chu systems, Fuzzy Sets Syst. 216 (2013), 52–90.
   Web of Science ®Google Scholar
• J.T. Denniston, A. Melton and S.E. Rodabaugh, Interweaving algebra and topology: lattice-valued topological systems, Fuzzy Sets Syst. 192 (2012), 58–103.
   Web of Science ®Google Scholar
• J.T. Denniston, A. Melton and S.E. Rodabaugh, Lattice-valued predicate transformers and lattice-valued Chu systems, Fuzzy Sets Syst., submitted.
   Google Scholar
• J.T. Denniston, A. Melton and S.E. Rodabaugh, Lattice-valued topological systems, Abstracts of the 30th Linz Seminar on Fuzzy Set Theory (U. Bodenhofer, B. De Baets, E.P. Klement, and S. Saminger-Platz, eds.), pp. 24–31, Johannes Kepler Universität, Linz, 2009.
   Google Scholar
• J.T. Denniston, A. Melton and S.E. Rodabaugh, Lattice-valued predicate transformers and interchange systems, Abstracts of the 31st Linz Seminar on Fuzzy Set Theory (P. Cintula, E.P. Klement and L.N. Stout, eds.), pp. 31–40, Johannes Kepler Universität, Linz, 2010.
   Google Scholar
• J.T. Denniston, A. Melton and S.E. Rodabaugh, Formal concept analysis and lattice-valued interchange systems, Abstracts of the 32nd Linz Seminar on Fuzzy Set Theory (D. Dubois, M. Grabisch, R. Mesiar, and E. P. Klement, eds.), Johannes Kepler Universität, Linz, 2011, pp. 41–47.
   Google Scholar
• J.T. Denniston and S.E. Rodabaugh, Functorial relationships between latticevalued topology and topological systems, Quaest. Math. 32(2) (2009), 139–186.
   Web of Science ®Google Scholar
• E.W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood, 1976.
   Google Scholar
• A. Frascella, Attachment and Topological Systems in Varieties of Algebras, Ph.D. thesis, Department of Mathematics \Ennio De Giorgi", University of Salento, Italy, 2011.
   Google Scholar
• A. Frascella, C. Guido and S. Solovyov, Algebraically-topological systems and attachment, Iran. J. Fuzzy Syst. 10(3) (2013), 65–102.
   Web of Science ®Google Scholar
• A. Frascella, C. Guido and S. Solovyov, Dual attachment pairs in categorically-algebraic topology, Appl. Gen. Topol. 12(2) (2011), 101–134.
   Google Scholar
• B. Ganter and R. Wille, Formale Begriffsanalyse. Mathematische Grundlagen, Springer, Berlin, 1996.
   Google Scholar
• C. Guido, Attachment between fuzzy points and fuzzy sets, Abstracts of the 30th Linz Seminar on Fuzzy Set Theory (U. Bodenhofer, B. De Baets, E.P. Klement and S. Saminger-Platz, eds.), pp. 52–54, Johannes Kepler Universität, Linz, 2009.
   Google Scholar
• C. Guido, Fuzzy points and attachment, Fuzzy Sets Syst. 161(16) (2010), 2150–2165.
   Web of Science ®Google Scholar
• C. Guido and V. Scarciglia, L-topological spaces as spaces of points, Fuzzy Sets Syst. 173(1) (2011), 45–59.
   Web of Science ®Google Scholar
• H. Herrlich and G.E. Strecker, Category Theory, 3rd ed., Sigma Series in Pure Mathematics, Vol. 1, Heldermann Verlag, Lemgo, 2007.
   Google Scholar
• U. Höhle, A note on the hypergraph functor, Fuzzy Sets Syst. 131(3) (2002), 353–356.
   Web of Science ®Google Scholar
• U. Höhle and A.P. Šostak, Axiomatic Foundations of Fixed-Basis Fuzzy Topology, Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory (U. Höhle and S.E. Rodabaugh, eds.), The Handbooks of Fuzzy Sets Series, Vol. 3, pp. 123–272, Kluwer Academic Publishers, Dordrecht, 1999.
   Google Scholar
• P.T. Johnstone, Stone Spaces, Cambridge University Press, Cambridge, 1982.
   Google Scholar
• S. Mac Lane, Categories for the Working Mathematician, 2nd ed., Springer-Verlag, New York, 1998.
   Google Scholar
• E.G. Manes, Algebraic Theories, Springer-Verlag, Berlin/Heidelberg/New York, 1976.
   Google Scholar
• P.-M. Pu and Y.-M. Liu, Fuzzy topology I: Neighborhood structure of a fuzzy point and Moore-Smith convergence, J. Math. Anal. Appl. 76 (1980), 571–599.
   Web of Science ®Google Scholar
• G. Richter, Kategorielle Algebra, Akademie-Verlag, Berlin, 1979.
   Google Scholar
• S.E. Rodabaugh, Powerset operator based foundation for point-set lattice-theoretic (poslat) fuzzy set theories and topologies, Quaest. Math. 20(3) (1997), 463–530.
   Google Scholar
• S.E. Rodabaugh, Categorical Foundations of Variable-Basis Fuzzy Topology, Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory (U. Höhle and S.E. Rodabaugh, eds.), The Handbooks of Fuzzy Sets Series, Vol. 3, pp. 273–388, Kluwer Academic Publishers, Dordrecht, 1999.
   Google Scholar
• S.E. Rodabaugh, Powerset Operator Foundations for Poslat Fuzzy Set Theories and Topologies, Mathematics of Fuzzy Sets: Logic, Topology and Measure Theory (U. Höhle and S.E. Rodabaugh, eds.), The Handbooks of Fuzzy Sets Series, Vol. 3, pp. 91–116, Kluwer Academic Publishers, Dordrecht, 1999.
   Google Scholar
• S.E. Rodabaugh, Relationship of Algebraic Theories to Powerset Theories and Fuzzy Topological Theories for Lattice-Valued Mathematics, Int. J. Math. Math. Sci. 2007 (2007), 1–71.
   Google Scholar
• S.E. Rodabaugh, Relationship of algebraic theories to powersets over objects in Set and Set×C, Fuzzy Sets Syst. 161(3) (2010), 453–470.
   Web of Science ®Google Scholar
• K.I. Rosenthal, Quantales and Their Applications, Pitman Research Notes in Mathematics, Vol. 234, Addison Wesley Longman, Harlow, 1990.
   Google Scholar
• S. Solovjovs, Functorial semantics of topological theories, Abstracts of Applications of Algebra XV, pp. 37–41, Institute of Mathematics and Computer Science of Jan D lugosz University, Cz, 2011.
   Google Scholar
• S. Solovyov, Categorical foundations of variety-based topology and topological systems, Fuzzy Sets Syst. 192 (2012), 176–200.
   Web of Science ®Google Scholar
• S. Solovyov, Categorical frameworks for variable-basis sobriety and spatiality, Math. Stud. (Tartu), 4 (2008), 89–103.
   Google Scholar
• S. Solovyov, Sobriety and spatiality in varieties of algebras, Fuzzy Sets Syst. 159(19) (2008), 2567–2585.
   Web of Science ®Google Scholar
• S. Solovyov, Hypergraph functor and attachment, Fuzzy Sets Syst. 161(22) (2010), 2945–2961.
   Web of Science ®Google Scholar
• S. Solovyov, Variable-basis topological systems versus variable-basis topological spaces, Soft Comput. 14(10) (2010), 1059–1068.
   Web of Science ®Google Scholar
• S. Solovyov, Localification of variable-basis topological systems, Quaest. Math. 34(1) (2011), 11–33.
   Web of Science ®Google Scholar
• S. Solovyov, On a generalization of the concept of state property system, Soft Comput. 15(12) (2011), 2467–2478.
   Web of Science ®Google Scholar
• S. Vickers, Topology via Logic, Cambridge University Press, Cambridge, 1989.
   Google Scholar