A proof theoretic view of spatial and temporal dependencies in biochemical systems

Vega, Carlos Alberto Olarte; Chiarugi, Davide; Hermith, Diana; Falaschi, Moreno

A proof theoretic view of spatial and temporal dependencies in biochemical systems

Página do item simplificado Estatísticas

dc.contributor.author	Vega, Carlos Alberto Olarte
dc.contributor.author	Chiarugi, Davide
dc.contributor.author	Hermith, Diana
dc.contributor.author	Falaschi, Moreno
dc.date.accessioned	2020-07-30T18:56:10Z
dc.date.available	2020-07-30T18:56:10Z
dc.date.issued	2016
dc.description.resumo	The behavior of biochemical systems such as metabolic and signaling pathways may depend on either the location of the reactants or on the time needed for a reaction to occur. In this paper we propose a formalism for specifying and verifying properties of biochemical systems that combines, coherently, temporal and spatial modalities. To this aim, we consider a fragment of intuitionistic linear logic with subexponentials (SELL). The subexponential signature allows us to capture the spatial relations among the different components of the system and the timed constraints. We illustrate our approach by specifying some well-known biological systems and verifying properties of them. Moreover, we show that our framework is general enough to give a logic-based semantics to P systems. We show that the proposed logical characterizations have a strong level of adequacy. Hence, derivations in SELL follow exactly the behavior of the modeled system	pt_BR
dc.identifier.citation	OLARTE, C.; CHIARUGI, D.; FALASCHI, M.; HERMITH, D.. A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theoretical Computer Science, [S.L.], v. 641, p. 25-42, ago. 2016. Disponível em: https://www.sciencedirect.com/science/article/pii/S0304397516300184?via%3Dihub. Acesso em: 29 jul. 2020. http://dx.doi.org/10.1016/j.tcs.2016.03.029	pt_BR
dc.identifier.doi	https://doi.org/10.1016/j.tcs.2016.03.029
dc.identifier.issn	0304-3975
dc.identifier.uri	https://repositorio.ufrn.br/jspui/handle/123456789/29759
dc.language	en	pt_BR
dc.publisher	Elsevier	pt_BR
dc.subject	Biochemical systems	pt_BR
dc.subject	Linear logic	pt_BR
dc.subject	Spatial	pt_BR
dc.subject	Temporal modalities	pt_BR
dc.title	A proof theoretic view of spatial and temporal dependencies in biochemical systems	pt_BR
dc.type	article	pt_BR