Fork algebras as a sufficiently rich universal institution

Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, several prepositional monomodal logics, prepositional and first-order dynamic logic, and prepositional and first-order linea...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Pombo, C.G.L., Frias, M.F.
Formato: SER
Materias:
Artificial intelligence
Computational complexity
Computer science
Formal logic
Software engineering
Computational logics
Fork algebras
Monomodal logics
Algebra
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v4019LNCS_n_p235_Pombo
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id todo:paper_03029743_v4019LNCS_n_p235_Pombo
record_format dspace
spelling todo:paper_03029743_v4019LNCS_n_p235_Pombo2023-10-03T15:18:57Z Fork algebras as a sufficiently rich universal institution Pombo, C.G.L. Frias, M.F. Artificial intelligence Computational complexity Computer science Formal logic Software engineering Computational logics Fork algebras Monomodal logics Algebra Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, several prepositional monomodal logics, prepositional and first-order dynamic logic, and prepositional and first-order linear temporal logic in the theory of fork algebras. In this paper we formalize these interpretability results as institution representations from the institution of the corresponding logics to that of fork algebra. We also advocate for the institution of fork algebras as a sufficiently rich universal institution into which institutions meaningful in software development can be represented. © Springer-Verlag Berlin Heidelberg 2006. Fil:Pombo, C.G.L. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Frias, M.F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_03029743_v4019LNCS_n_p235_Pombo
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Artificial intelligence
Computational complexity
Computer science
Formal logic
Software engineering
Computational logics
Fork algebras
Monomodal logics
Algebra
spellingShingle Artificial intelligence
Computational complexity
Computer science
Formal logic
Software engineering
Computational logics
Fork algebras
Monomodal logics
Algebra
Pombo, C.G.L.
Frias, M.F.
Fork algebras as a sufficiently rich universal institution
topic_facet Artificial intelligence
Computational complexity
Computer science
Formal logic
Software engineering
Computational logics
Fork algebras
Monomodal logics
Algebra
description Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, several prepositional monomodal logics, prepositional and first-order dynamic logic, and prepositional and first-order linear temporal logic in the theory of fork algebras. In this paper we formalize these interpretability results as institution representations from the institution of the corresponding logics to that of fork algebra. We also advocate for the institution of fork algebras as a sufficiently rich universal institution into which institutions meaningful in software development can be represented. © Springer-Verlag Berlin Heidelberg 2006.
format SER
author Pombo, C.G.L.
Frias, M.F.
author_facet Pombo, C.G.L.
Frias, M.F.
author_sort Pombo, C.G.L.
title Fork algebras as a sufficiently rich universal institution
title_short Fork algebras as a sufficiently rich universal institution
title_full Fork algebras as a sufficiently rich universal institution
title_fullStr Fork algebras as a sufficiently rich universal institution
title_full_unstemmed Fork algebras as a sufficiently rich universal institution
title_sort fork algebras as a sufficiently rich universal institution
url http://hdl.handle.net/20.500.12110/paper_03029743_v4019LNCS_n_p235_Pombo
work_keys_str_mv AT pombocgl forkalgebrasasasufficientlyrichuniversalinstitution
AT friasmf forkalgebrasasasufficientlyrichuniversalinstitution
_version_ 1782029738358865920

Ejemplares similares