on 08-07-2011
Joao Rasga (IST- TU Lisbon / SQIG - IT).
July 8, 2011, Friday, 16h15m.
Abstract: 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 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.
Room: 3.10, Mathematics
More Information..
on 01-07-2011
IX Symposium On Enabling Optical Networks and Sensors
Friday, 1st of July of 2011
AVEIRO - PORTUGAL
More Information..