Eintrag weiter verarbeiten
Importing Logics: Soundness and Completeness Preservation
Gespeichert in:
Personen und Körperschaften: | , , |
---|---|
Titel: |
Importing Logics: Soundness and Completeness Preservation |
In: | Studia Logica: An International Journal for Symbolic Logic, 101, 2013, 1, S. 117-155 |
veröffentlicht: |
Springer
|
Umfang: | 117-155 |
ISSN: |
0039-3215 1572-8730 |
DOI: | 10.1007/s11225-011-9363-x |
Zusammenfassung: | <p>Importing subsumes several asymmetric ways of combining logics, including modalization and temporalization. A calculus is provided for importing, inheriting the axioms and rules from the given logics and including additional rules for lifting derivations from the imported logic. The calculus is shown to be sound and concretely complete with respect to the semantics of importing as proposed in J. Rasga et al. (100(3):545—581, 2012) Studia Logica.</p> |
Format: | E-Article |
Quelle: |
sid-55-col-jstormaths sid-55-col-jstoras7 JSTOR Mathematics & Statistics JSTOR Arts & Sciences VII Archive |
Sprache: | Englisch |