Importing Logics: Soundness and Completeness Preservation
Studia Logica 101 (1):117-155 (2013)
| Abstract | 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):541–581, 2012) Studia Logica | |||||||||
| Keywords | Combined logics Importing logics Modalization Completeness preservation | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAlberto Zanardo, Amilcar Sernadas & Cristina Sernadas (2001). Fibring: Completeness Preservation. Journal of Symbolic Logic 66 (1):414-439.
João Rasga, Amílcar Sernadas & Cristina Sernadas (2012). Importing Logics. Studia Logica 100 (3):545-581.
C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information 12 (2):183-211.
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II. Studia Logica 64 (2):151-172.
Ross T. Brady (1989). A Content Semantics for Quantified Relevant Logics. II. Studia Logica 48 (2):243 - 257.
Nobu-Yuki Suzuki (2003). Halldén-Completeness in Super-Intuitionistic Predicate Logics. Studia Logica 73 (1):113 - 130.
J. F. A. K. Benthem (1980). Some Kinds of Modal Completeness. Studia Logica 39 (2-3):125 - 141.
Frank Wolter (1997). Completeness and Decidability of Tense Logics Closely Related to Logics Above K. Journal of Symbolic Logic 62 (1):131-158.
Ross T. Brady (1989). A Routley-Meyer Affixing Style Semantics for Logics Containing Aristotle's Thesis. Studia Logica 48 (2):235 - 241.
Cristina Sernadas, João Rasga & Walter A. Carnielli (2002). Modulated Fibring and the Collapsing Problem. Journal of Symbolic Logic 67 (4):1541-1569.
Kosta Došen (1985). Models for Stronger Normal Intuitionistic Modal Logics. Studia Logica 44 (1):39 - 70.
Norihiro Kamide (2002). Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11 (4):453-470.
Camillo Fiorentini (2000). All Intermediate Logics with Extra Axioms in One Variable, Except Eight, Are Not Strongly Ω-Complete. Journal of Symbolic Logic 65 (4):1576-1604.
Joshua Schechter (2011). Juxtaposition: A New Way to Combine Logics. The Review of Symbolic Logic 4 (4):560-606.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2012-06-12Total downloads6 ( #145,729 of 549,198 )Recent downloads (6 months)1 ( #63,397 of 549,198 )How can I increase my downloads? |
My notes
Discussion
