Abstract
We investigate the recently introduced two-sorted variety of equational states. We show that, similarly to MV-algebras, in equational states ideals are in bijection with two-sorted congruences. Differently from MV-algebras, not every equational state is the subdirect product of linearly ordered ones. We finally show that the variety of equational states is not generated by the linearly ordered ones.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Cignoli, R.L.O., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer Academic Publishers, Alphen aan den Rijn (2000)
Di Nola, A., Dvurečenskij, A.: State-morphism MV-algebras. Ann. Pure Appl. Logic 161(2), 161–173 (2009)
Dvurečenskij, A., Kowalski, T., Montagna, F.: State morphism MV-algebras. Int. J. Approximate Reasoning 52(8), 1215–1228 (2011)
Flaminio, T., Montagna, F.: MV-algebras with internal states and probabilistic fuzzy logics. Int. J. Approximate Reasoning 50(1), 138–152 (2009)
Goodearl, K.: Partially Ordered Abelian Groups with Interpolation. Mathematical Surveys and Monographs, vol. 20. American Mathematical Society, Providence (1986)
Kroupa, T., Marra, V.: The two-sorted algebraic theory of states, and the universal states of MV-algebras. J. Pure Appl. Algebra 225, 106771 (2021)
Mundici, D.: Averaging the truth-value in Łukasiewicz logic. Stud. Logica. 55(1), 113–127 (1995)
Tarlecki, A.: Some nuances of many-sorted universal algebra: a review. Bull. EATCS 104, 89–111 (2011)
Acknowledgement
The authors are indebted with Prof. Vincenzo Marra for suggesting the Example 2. This work was supported by the PRIN2017 “Theory and applications of resource sensitive logics”. S. Lapenta was also funded by the POC Innovazione e Ricerca 2014-2020, project AIM1834448-1 and the Research Grant “Un approccio algebrico alla statistica per applicazioni industriali”.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Lapenta, S., Napolitano, S., Spada, L. (2023). Ideals in the Two-Sorted Variety of Equational States. In: Massanet, S., Montes, S., Ruiz-Aguilera, D., González-Hidalgo, M. (eds) Fuzzy Logic and Technology, and Aggregation Operators. EUSFLAT AGOP 2023 2023. Lecture Notes in Computer Science, vol 14069. Springer, Cham. https://doi.org/10.1007/978-3-031-39965-7_41
Download citation
DOI: https://doi.org/10.1007/978-3-031-39965-7_41
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-39964-0
Online ISBN: 978-3-031-39965-7
eBook Packages: Computer ScienceComputer Science (R0)