Eintrag weiter verarbeiten
Fibring as Biporting Subsumes Asymmetric Combinations
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Titel: |
Fibring as Biporting Subsumes Asymmetric Combinations |
In: | Studia Logica: An International Journal for Symbolic Logic, 102, 2014, 5, S. 1041-1074 |
veröffentlicht: |
Springer Science+Business Media B. V.
|
Umfang: | 1041-1074 |
ISSN: |
0039-3215 1572-8730 |
Zusammenfassung: | <p>The transference of preservation results between importing (a logic combination mechanism that subsumes several asymmetrical mechanisms for combining logics like temporalization, modalization and globalization) and unconstrained fibring is investigated. For that purpose, a new (more convenient) formulation of fibring, called biporting, is introduced, and importing is shown to be subsumed by biporting. In consequence, particular cases of importing, like temporalization, modalization and globalization are subsumed by fibring. Capitalizing on these results, the preservation of the finite model property by fibring is transferred to importing and then carried over to globalization.</p> |
Format: | E-Article |
Quelle: |
sid-55-col-jstormaths sid-55-col-jstoras7 JSTOR Mathematics & Statistics JSTOR Arts & Sciences VII Archive |
Sprache: | Englisch |