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 | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s11225-011-9363-x |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,091
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - link.springer.com (no proxy)
- link.springer.com [2] (no proxy)
- link.springer.com [3] (no proxy)
- sqig.math.ist.utl.pt (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Intuitionistic Logic.Dirk van Dalen - 2002 - In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115.
Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Adding a Temporal Dimension to a Logic.Dov M. Gabbay & Marcelo Finger - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics.D. M. Gabbay - 1996 - Journal of Symbolic Logic 61 (4):1057-1120.
A Graph-Theoretic Account of Logics.A. Sernadas, C. Sernadas, J. Rasga & Marcelo E. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1281-1320.
View all 10 references / Add more references
Citations of this work BETA
Combining Logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Fibring as Biporting Subsumes Asymmetric Combinations.J. Rasga, A. Sernadas & C. Sernadas - 2014 - Studia Logica 102 (5):1041-1074.
Similar books and articles
Importing Logics.João Rasga, Amílcar Sernadas & Cristina Sernadas - 2012 - Studia Logica 100 (3):545-581.
Fibring Non-Truth-Functional Logics: Completeness Preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
A Content Semantics for Quantified Relevant Logics. II.Ross T. Brady - 1989 - Studia Logica 48 (2):243 - 257.
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
Completeness and Decidability of Tense Logics Closely Related to Logics Above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Modulated Fibring and the Collapsing Problem.Cristina Sernadas, João Rasga & Walter A. Carnielli - 2002 - Journal of Symbolic Logic 67 (4):1541-1569.
Models for Stronger Normal Intuitionistic Modal Logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
All Intermediate Logics with Extra Axioms in One Variable, Except Eight, Are Not Strongly Ω-Complete.Camillo Fiorentini - 2000 - Journal of Symbolic Logic 65 (4):1576-1604.
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.
Analytics
Added to PP index
2012-06-12
Total views
52 ( #218,027 of 2,506,293 )
Recent downloads (6 months)
1 ( #416,984 of 2,506,293 )
2012-06-12
Total views
52 ( #218,027 of 2,506,293 )
Recent downloads (6 months)
1 ( #416,984 of 2,506,293 )
How can I increase my downloads?
Downloads
