Room P3.10, Mathematics Building

João Rasga, IST- TU Lisbon / SQIG - IT

Fibring as biporting subsumes asymmetric combinations

Inspired by the recent notion of importing logics, a new formulation of unconstrained fibring is proposed as a kind of two-way importing (biporting). Biporting and unconstrained fibring are proved to be strongly equivalent at the entailment level, modulo a minor translation of formulas. Importing is recovered from biporting by selecting away the export connective. In consequence, special cases of importing, like temporalization, globalization and other asymmetric mechanisms for combining logics, are shown to be subsumed by fibring under selection. Capitalizing on these results, the finite model property is shown to be preserved by importing and those asymmetric constructions whenever it is preserved by fibring.