Please use this identifier to cite or link to this item:
Title: Asymmetric Combination of Logics is Functorial: A Survey
Author: Neves, Renato
Madeira, Alexandre
Barbosa, Luís
Martins, Manuel A.
Keywords: Institution
Asymmetric combination
Issue Date: 11-Dec-2017
Publisher: Springer
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.
DOI: 10.1007/978-3-319-72044-9_4
ISBN: 978-3-319-72043-2
Appears in Collections:CIDMA - Capítulo de livro
AGG - Capítulo de livro

Files in This Item:
File Description SizeFormat 
1611.04170.pdfDocumento principal278.29 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.