Importing Logics: Soundness and Completeness Preservation

Importing Logics: Soundness and Completeness Preservation

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Studia logica 2013-02, Vol.101 (1), p.117-155
Hauptverfasser: Rasga, J., Sernadas, A., Sernadas, C.
Format: Artikel
Sprache:eng
Schlagworte:
Computational Linguistics
Education
Inference
Intuitionistic logic
Logic
Logical givens
Logical proofs
Mathematical Logic and Foundations
Modal logic
Philosophy
Semantic soundness
Semantics
Signatures
Temporal logic
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0039-3215
1572-8730
DOI:10.1007/s11225-011-9363-x