Studia Logica

, Volume 100, Issue 3, pp 545–581

Importing Logics

  • João Rasga
  • Amílcar Sernadas
  • Cristina Sernadas
Article

Abstract

The novel notion of importing logics is introduced, subsuming as special cases several kinds of asymmetric combination mechanisms, like temporalization [8, 9], modalization [7] and exogenous enrichment [13, 5, 12, 4, 1]. The graph-theoretic approach proposed in [15] is used, but formulas are identified with irreducible paths in the signature multi-graph instead of equivalence classes of such paths, facilitating proofs involving inductions on formulas. Importing is proved to be strongly conservative. Conservative results follow as corollaries for temporalization, modalization and exogenous enrichment.

Keywords

Combined logics Importing logics Temporalization Modalization Exogenous enrichment 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  • João Rasga
    • 1
  • Amílcar Sernadas
    • 1
  • Cristina Sernadas
    • 1
  1. 1.SQIG, Instituto de Telecomunicações and Dep. Matemática, Instituto Superior TécnicoUniversidade Técnica de LisboaLisbonPortugal

Personalised recommendations