Logica Universalis 1 (1):71-92 (2007)
. The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. For illustration, we revisit the example of combining intuitionistic and classical propositional logics.
|Keywords||Combining logics fibring the collapsing problem cryptofibring conservativeness|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.
Similar books and articles
Supervaluations and the Problem of the Many.Neil McKinnon - 2002 - Philosophical Quarterly 52 (208):320-339.
The Classification of Propositional Calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Logical Equations and Admissible Rules of Inference with Parameters in Modal Provability Logics.V. V. Rybakov - 1990 - Studia Logica 49 (2):215 - 239.
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.
Fibring: Completeness Preservation.Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas - 2001 - Journal of Symbolic Logic 66 (1):414-439.
Fibring Non-Truth-Functional Logics: Completeness Preservation. [REVIEW]C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.
Recovering a Logic From its Fragments by Meta-Fibring.Marcelo E. Coniglio - 2007 - Logica Universalis 1 (2):377-416.
Added to index2009-01-28
Total downloads30 ( #170,019 of 2,163,904 )
Recent downloads (6 months)1 ( #348,100 of 2,163,904 )
How can I increase my downloads?