Asymmetric Combination of Logics is Functorial: A Survey - Recent Trends in Algebraic Development Techniques Access content directly
Conference Papers Year : 2017

Asymmetric Combination of Logics is Functorial: A Survey

Abstract

Asymmetric combination of logics is a formal process that develops the characteristic features of a specific logic on top of another one. Typical examples include the development of temporal, hybrid, and probabilistic dimensions over a given base logic. These examples are surveyed in the paper under a particular perspective—that this sort of combination of logics possesses a functorial nature. Such a view gives rise to several interesting questions. They range from the problem of combining translations (between logics), to that of ensuring property preservation along the process, and the way different asymmetric combinations can be related through appropriate natural transformations.
Fichier principal
Vignette du fichier
433330_1_En_4_Chapter.pdf (478.46 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01767465 , version 1 (16-04-2018)

Licence

Attribution

Identifiers

Cite

Renato Neves, Alexandre Madeira, Luis S. Barbosa, Manuel A. Martins. Asymmetric Combination of Logics is Functorial: A Survey. 23th International Workshop on Algebraic Development Techniques (WADT), Sep 2016, Gregynog, United Kingdom. pp.39-55, ⟨10.1007/978-3-319-72044-9_4⟩. ⟨hal-01767465⟩
26 View
35 Download

Altmetric

Share

Gmail Facebook X LinkedIn More