dc.contributor.author | Areces, Carlos Eduardo | |
dc.contributor.author | Campercholi, Miguel Alejandro Carlos | |
dc.contributor.author | Penazzi, Daniel Eduardo | |
dc.contributor.author | Sánchez Terraf, Pedro Octavio | |
dc.date.accessioned | 2024-06-03T12:32:26Z | |
dc.date.available | 2024-06-03T12:32:26Z | |
dc.date.issued | 2017 | |
dc.identifier.uri | http://hdl.handle.net/11086/552149 | |
dc.description | Artículo finalmente publicado en: Areces, C. E., Campercholi, M. A. C., Penazzi, D. E. y Sánchez Terraf, P. O. (2017). The lattice of congruences of a finite line frame. Journal of Logic and Computation, 27 (8), 2653–2688. https://doi.org/10.1093/logcom/exx026 | es |
dc.description.abstract | Let F = <F, R> be a finite Kripke frame. A congruence of F is a bisimulation of F that is also an equivalence relation on F. The set of all congruences of F is a lattice under the inclusion ordering. In this article we investigate this lattice in the case that F is a finite line frame. We give concrete descriptions of the join and meet of two congruences with a nontrivial upper bound. Through these descriptions we show that for every nontrivial congruence ρ, the interval [IdF , ρ] embeds into the lattice of divisors of a suitable positive integer. We also prove that any two congruences with a nontrivial upper bound permute. | en |
dc.format.medium | Impreso; Electrónico y/o Digital | |
dc.language.iso | eng | es |
dc.relation | De la versión publicada: https://doi.org/10.1093/logcom/exx026 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 International | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.source | e-ISSN: 1465-363X | |
dc.source | ISSN: 0955-792X | |
dc.subject | Bisimulation equivalence | en |
dc.subject | Permuting relations | en |
dc.subject | Modal algebra | en |
dc.subject | Lattice of subalgebras | en |
dc.subject | Algebraic function | en |
dc.title | The lattice of congruences of a finite line frame | en |
dc.type | article | es |
dc.description.version | info:eu-repo/semantics/submittedVersion | es |
dc.description.fil | Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. | es |
dc.description.fil | Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Centro de Investigación y Estudios de Matemática; Argentina. | es |
dc.description.fil | Fil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro de Investigación y Estudios de Matemática; Argentina. | es |
dc.description.fil | Fil: Campercholi, Miguel Alejandro Carlos. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. | es |
dc.description.fil | Fil: Campercholi, Miguel Alejandro Carlos. Universidad Nacional de Córdoba. Centro de Investigación y Estudios de Matemática; Argentina. | es |
dc.description.fil | Fil: Campercholi, Miguel Alejandro Carlos. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro de Investigación y Estudios de Matemática; Argentina. | es |
dc.description.fil | Fil: Penazzi, Daniel Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. | es |
dc.description.fil | Fil: Penazzi, Daniel Eduardo. Universidad Nacional de Córdoba. Centro de Investigación y Estudios de Matemática; Argentina. | es |
dc.description.fil | Fil: Penazzi, Daniel Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro de Investigación y Estudios de Matemática; Argentina. | es |
dc.description.fil | Fil: Sánchez Terraf, Pedro Octavio. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. | es |
dc.description.fil | Fil: Sánchez Terraf, Pedro Octavio. Universidad Nacional de Córdoba. Centro de Investigación y Estudios de Matemática; Argentina. | es |
dc.description.fil | Fil: Sánchez Terraf, Pedro Octavio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro de Investigación y Estudios de Matemática; Argentina. | es |
dc.journal.city | Oxford | es |
dc.journal.country | Reino Unido | es |
dc.journal.editorial | Oxford University Press | en |
dc.journal.number | 8 | es |
dc.journal.pagination | 2653-2688 | es |
dc.journal.referato | Con referato | |
dc.journal.title | Journal of Logic and Computation | en |
dc.journal.volume | 27 | es |
dc.description.field | Ciencias de la Computación | |
dc.identifier.doi | https://doi.org/10.48550/arXiv.1504.01789 | |
dc.contributor.orcid | https://orcid.org/0000-0001-7845-8503 | es |
dc.contributor.orcid | https://orcid.org/0000-0003-1166-1421 | es |
dc.contributor.orcid | https://orcid.org/0000-0003-3928-6942 | es |