References

REES CONGRUENCES ON RESIDUATED SEMIGROUPS


[1] S. L. Bloom, Varieties of ordered algebras, J. Compt. System Sci. 13(2) (1976), 200-212.
DOI: https://doi.org/10.1016/S0022-0000(76)80030-X

[2] T. S. Blyth and M. F. Janowitz, Residuation Theory, Pergamon Press, 1972.

[3] F. Borceux, Handbook of Categorical Algebra, Vol. 2, Encyclopedia of Mathematics and its Applications, 51, Cambridge University Press, Cambridge, 1994.

[4] R. L. Cignoli, I. M. d’Ottaviano and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer Dordrecht, 2000.

[5] G Czédli and A. Lenkehegyi, On congruence n-distributivity of ordered algebras, Acta Math. Hungar. 41(1-2) (1983), 17-26.
DOI: https://doi.org/10.1007/BF01994057

[6] B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, Cambridge University Press, 1980.

[7] M. Erné, Adjunctions and Galois connections: Origin, History and Development, in K. Denecke, M. Erné and S. L. Wismath (Eds.), Galois Connections and Applications, Kluwer Academic Publishers, Dordrecht-Boston, 2004, pp. 1-138.

[8] M. Erné, J. Koslowski, A. Melton and G. E. Strecker, A primer on Galois connections, Annals of the New York Academy of Sciences 704(1) (1999), 103-125
DOI: https://doi.org/10.1111/j.1749-6632.1993.tb52513.x

[9] N. Galatos, P. Jipsen, T. Kowalski and H. Ono, Residuated Lattices: An Algebraic Glimpse at Sub-Structural Logics, Elsevier, 2007, 532 pp.

[10] R. Goldblatt, A Kripke-Joyal Semantics for noncommutative logic in quantales, pp 209-225 in Governatori, Hodkinson and Venema (Eds.), Advances in Modal Logic, Volume 6, College Publications, London, 2006.

[11] P. Hajek, Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, 1998.
DOI: https://doi.org/10.1007/978-94-011-5300-3

[12] P. T. Johnstone, Stone Spaces, Cambridge University Press, Cambridge, 1982.

[13] Kimmo I. Rosenthal, Quantales and their Applications, Pitman Res. Notes in Math. Series 234, Longman, 1990.

[14] C. J. Mulvey, “ ” Rendiconti Circ. Mat. Palermo 12 (1986), 99-104.

[15] Susan B. Niefield and Kimmo I. Rosenthal, Constructing locales from quantales, Mathematical Proceedings of the Cambridge Philosophical Society 104(2) (1988), 215-234.
DOI: https://doi.org/10.1017/S0305004100065403

[16] Niovi Kehayopulu and Michael Tsingelis, On free ordered semigroups, Scientiae Mathematicae Japonicae, Online (e-2010), 97-103.

[17] H. Ono, Semantics for substructural logics, In: Substructural Logics, eds. by P. Schroeder-Heister and K. Dosen, Oxford University Press (1993), 259-291.

[18] H. Ono, Structural rules and a logical hierarchy, in: Mathematical Logic, Proceedings of the Summer School and Conference on Mathematical Logic, Heyting 88, P. P. Petrov (Editor), Plenum Press (1990), 95-104.

[19] H. Ono and Y. Komori, Logics without the contraction rule, Journal of Symbolic Logic 50(1) (1985), 169-201.
DOI: https://doi.org/10.2307/2273798

[20] A Ogus, Lectures on Logarithmic Algebraic Geometry, University of California, Berkeley, 2006.

[21] Sergey A. Solovyov, A note on nuclei of quantale algebras, Bulletin of the Section of Logic 40(1-2) (2011), 91-112.

[22] H. Simmons, An Algebraic Version of Cantor Bendixson Analysis, In Categorical Aspects of Topology and Analysis (Ottawa, Ont., 1980), pages 310-323, Springer, Berlin, 1982.

[23] Shi Xian Ping and Xie Xiang Yun, A note on order congruences on ordered semigroups, Journal of Mathematical Research & Exposition 28(4) (2008), 898-904.

[24] H. Simmons, Near-discreteness of modules and spaces as measured by Gabriel and Cantor, J. Pure Appl. Algebra 56(2) (1989), 119-162.
DOI: https://doi.org/10.1016/0022-4049(89)90141-2

[25] Valdis Laan and Sohhail Nasir, On monomorphisms and epimorphisms in varieties of ordered algebras, Communication in Algebra 43(7) (2015), 2802-2819.
DOI: https://doi.org/10.1080/00927872.2014.904328

[26] M. Ward and R. P. Dilworth, Residuated lattices, Trans. Amer. Math. Soc. 45(3) (1939), 335-354.
DOI: https://doi.org/10.1090/S0002-9947-1939-1501995-3

[27] Xie Xiang-Yun, On regular, strongly regular congruences on ordered semigroups, Semigroup Forum 61(2) (2000), 159-178.
DOI: https://doi.org/10.1007/PL00006018