Carlos Caleiro

Prof. Carlos Caleiro


Research Focus & Metrics

Academic Career Length

31Years (1996-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
1 April 1999 in Journal of Logic and Computation
Verified
Journal Article
Closed access
PDF file
ASA Sernadas
A Sernadas
CSC Sernadas
C Sernadas
CCCarlos Caleiro
Carlos Caleiro
Much attention has been given recently to the mechanism of fibring of logics, allowing free mixing of the connectives and using proof rules from both logics. Fibring seems to be a rather useful and general form of combination of logics that deserves detailed study. It is now well understood at the proof-theoretic level. However, the semantics of fibring is still insufficiently understood. Herein we provide a categorial definition of both proof-theoretic and model-theoretic fibring for logics without terms. To this end, we introduce the categories of Hilbert calculi, interpretation systems and logic system presentations. By choosing appropriate notions of morphism it is possible to obtain pure fibring as a coproduct. Fibring with shared symbols is then easily obtained by coCarteisan lifting from the category of signatures. Soundness is shown to be preserved by these constructions. We illustrate the constructions within prepositional modal logic. Key words: Logic morphism, combination of logics, fibring, fibred semantics, preservation of soundness, modal logic.

2 December 2005
Verified
Book Chapter
Closed access
PDF file
CCCarlos Caleiro
Carlos Caleiro
WCWalter Carnielli
Walter Carnielli
Marcelo Esteban ConiglioMarcelo Esteban Coniglio
Marcelo Esteban Coniglio
Joao MarcosJoao Marcos
Joao Marcos

1 March 2020 in Information Processing & Management
Verified
Journal Article
Closed access
GRGuilherme Ramos
Guilherme Ramos
LBLudovico Boratto
Ludovico Boratto
CCCarlos Caleiro
Carlos Caleiro

28 February 2019 in Synthese
Verified
Journal Article
Closed access
PDF file
SMSergio Marcelino
Sergio Marcelino
CCCarlos Caleiro
Carlos Caleiro

1 November 2006 in Theoretical Computer Science
Verified
Journal Article
Closed access
CCCarlos Caleiro
Carlos Caleiro
LVLuca Viganò
Luca Viganò
DBDavid Basin
David Basin

9 June 2019
Verified
Book Chapter
Closed access
PDF file
CCCarlos Caleiro
Carlos Caleiro
SMSergio Marcelino
Sergio Marcelino