Abstract
The objective of this work is to show that modules over a fixed residuated lattice \({\mathbf {R}}\)—that is, partially ordered sets acted upon by \({\mathbf {R}}\)—provide a suitable algebraic framework for extending the concept of a recognizable language as defined by Kleene. More specifically, we introduce the notion of a recognizable element of \({\mathbf {R}}\) by a finite module and provide a characterization of such an element in the spirit of Myhill’s characterization of recognizable languages. Further, we investigate the structure of the set of recognizable elements of \({\mathbf {R}}\) and also provide sufficient conditions for a recognizable element to be recognized by a Boolean module.
This work is dedicated to Hiroakira Ono in recognition of his many contributions to Mathematical Logic.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
See Definition 3.15.
- 2.
Usually, the alphabet is taken to be finite, because of the applications of automata to Computer Science, but none of the results that we mention here depend on the finiteness of the alphabet.
- 3.
This example was suggested by N. Galatos.
- 4.
See Example 3.6.
- 5.
The reader may be familiar with the concept of a Boolean module as introduced by Brink in [6], but those are not exactly the same kind of structures, as Brink’s Boolean modules are modules over relation algebras.
- 6.
This is because if \(\gamma \) is a nucleus on a frame \({\mathbf {F}}\), then \(\gamma \) is a closure operator on \({\mathbb {F}}\), and therefore \({\mathbb {F}}_\gamma = \langle {\mathbf {F}}_\gamma ,\wedge \rangle \) is an \({\mathbf {F}}\)-module. In particular, \(\wedge \) is residuated on both coordinates on \({\mathbf {F}}_\gamma \), and therefore it distributes with respect to arbitrary joins.
References
Abramsky, S., & Vickers, S. (1990). Quantales, Observational Logic and Process Semantics. London: Department of Computing report DOC90/1, Imperial College. Department of Computing report DOC90/1.
Abramsky, S., & Vickers, S. (1993). Quantales, observational logic and process semantics. Mathematical Structures in Computer Science, 3(2), 161–227. https://doi.org/10.1017/S0960129500000189.
Berstel, J., & Reutenauer, C. (1988). Rational series and their languages. EATCS Monographs on Theoretical Computer Science (Vol. 12). Berlin: Springer. https://doi.org/10.1007/978-3-642-73235-5.
Blount, K., & Tsinakis, C. (2003). The structure of residuated lattices. International Journal of Algebra and Computation, 13(4), 437–461. https://doi.org/10.1142/S0218196703001511.
Blyth, T. S., & Janowitz, M. F. (1972). Residuation Theory (Vol. 102). Oxford-New York-Toronto, Ont.: Pergamon Press. International Series of Monographs in Pure and Applied Mathematics.
Brink, C. (1981). Boolean modules. Journal of Algebra, 71(2), 291–313. https://doi.org/10.1016/0021-8693(81)90179-4.
Burris, S., & Sankappanavar, H. P. (1981). A Course in Universal Algebra, Graduate Texts in Mathematics (Vol. 78). New York-Berlin: Springer.
Chomsky, N., & Miller, G. A. (1958). Finite state languages. Information and Control, 1, 91–112.
Davey, B. A., & Priestley, H. A. (2002). Introduction to Lattices and Order (2nd ed.). New York: Cambridge University Press. https://doi.org/10.1017/CBO9780511809088.
Eilenberg, S. (1974). Automata, Languages, and Machines (Vol. A). New York: Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers]. Pure and Applied Mathematics, Vol. 58.
Frink, O. (1962). Pseudo-complements in semi-lattices. Duke Mathematical Journal, 29, 505–514.
Galatos, N., Jipsen, P., Kowalski, T., & Ono, H. (2007). Residuated lattices: an algebraic glimpse at substructural logics, Studies in Logic and the Foundations of Mathematics (Vol. 151). Amsterdam: Elsevier B. V.
Galatos, N., & Tsinakis, C. (2009). Equivalence of consequence relations: an order-theoretic and categorical perspective. Journal of Symbolic Logic, 74(3), 780–810. https://doi.org/10.2178/jsl/1245158085.
Gehrke, M. (2016). Stone duality, topological algebra, and recognition. Journal of Pure and Applied Algebra, 220(7), 2711–2747. https://doi.org/10.1016/j.jpaa.2015.12.007.
Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2017). Introduction to Automata Theory, Languages, and Computation (3rd ed.). Addison-Wesley.
Hopcroft, J. E., & Ullman, J. D. (1969). Formal Languages and Their Relation to Automata. Reading, Mass.-London-Don Mills, Ont.: Addison-Wesley Publishing Co.
Jipsen, P., & Tsinakis, C. (2002). A survey of residuated lattices. Ordered algebraic structures (Vol. 7, pp. 19–56)., Dev. Math. Dordrecht: Kluwer Acad. Publ. https://doi.org/10.1007/978-1-4757-3627-4_3.
Kleene, S. C. (1956). Representation of events in nerve nets and finite automata. In Automata Studies, Annals of Mathematics Studies (Vol. 34, pp. 3–41). Princeton, N. J.: Princeton University Press.
Lallement, G.: Semigroups and Combinatorial Applications. Wiley, New York-Chichester-Brisbane (1979). Pure and Applied Mathematics, A Wiley-Interscience Publication
Lee, H.: Recognizable elements of quantales: A result of Myhill revisited. Thesis (Ph.D.), Vanderbilt University (1997).
Metcalfe, G., Paoli, F., & Tsinakis, C. (2010). Ordered algebras and logic. In Probability, uncertainty and rationality (Vol. 10, pp. 3–83). Ed. Norm., Pisa: CRM Series.
Myhill, J. (1957). Finite Automata and Representation of Events. Wright Air Development Center: Technical report.
Nerode, A. (1958). Linear automaton transformations. Proceedings of the American Mathematical Society, 9, 541–544. https://doi.org/10.2307/2033204.
Pin, J. E. (1986). Varieties of formal languages. In Foundations of Computer Science. New York: Plenum Publishing Corp. https://doi.org/10.1007/978-1-4613-2215-3. With a preface by M.-P. Schützenberger, Translated from the French by A. Howie
Rosenthal, K. I. (1990). Quantales and their applications. In Pitman Research Notes in Mathematics Series (Vol. 234). New York: Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc.
Sakarovitch, J. (2009). Elements of Automata Theory. Cambridge: Cambridge University Press. https://doi.org/10.1017/CBO9781139195218.Translated from the 2003 French original by Reuben Thomas.
Yetter, D. N. (1990). Quantales and (noncommutative) linear logic. The Journal of Symbolic Logic, 55(1), 41–64. https://doi.org/10.2307/2274953.
Acknowledgements
The present work is a natural sequel of Hoseung Lee’s Ph.D. dissertation [20], which includes a number of joint results of Lee with the second author. We would like to express our appreciation to the referee for the careful reading and for contributing valuable information on previous work, including Remark 5.7. The first author acknowledges the support of the grants MTM2011-25747 of the Spanish Ministry of Science and Innovation (which includes eu’s feder funds) and 2009SGR-01433 of the Catalan Government. The second author wishes to express his appreciation to Bjarni Jónsson for many stimulating discussions about Boolean modules and related topics.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Gil-Férez, J., Tsinakis, C. (2022). Recognizability in Residuated Lattices. In: Galatos, N., Terui, K. (eds) Hiroakira Ono on Substructural Logics. Outstanding Contributions to Logic, vol 23. Springer, Cham. https://doi.org/10.1007/978-3-030-76920-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-76920-8_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-76919-2
Online ISBN: 978-3-030-76920-8
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)