Importing Logics

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 identif...

Full description

Saved in:
Bibliographic Details
Published in:Studia logica 2012-06, Vol.100 (3), p.545-581
Main Authors: Rasga, João, Sernadas, Amílcar, Sernadas, Cristina
Format: Article
Language:English
Subjects:
Computational Linguistics
Education
Equivalence relation
Functors
Globalization
Logic
Mathematical Logic and Foundations
Modal logic
Model theory
Morphisms
Natural numbers
Philosophy
Propositional logic
Semantics
Signatures
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-012-9414-y