David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 66 (1):414-439 (2001)
A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. An example is provided showing that completeness is not always preserved by fibring logics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
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|
References found in this work BETA
No references found.
Citations of this work BETA
Joshua Schechter (2011). Juxtaposition: A New Way to Combine Logics. Review of Symbolic Logic 4 (4):560-606.
João Rasga, Walter Carnielli & Cristina Sernadas (2009). Interpolation Via Translations. Mathematical Logic Quarterly 55 (5):515-534.
J. Rasga, A. Sernadas & C. Sernadas (2014). Fibring as Biporting Subsumes Asymmetric Combinations. Studia Logica 102 (5):1041-1074.
Similar books and articles
Ross T. Brady (1989). A Routley-Meyer Affixing Style Semantics for Logics Containing Aristotle's Thesis. Studia Logica 48 (2):235 - 241.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Takahiro Seki (2003). A Sahlqvist Theorem for Relevant Modal Logics. Studia Logica 73 (3):383 - 411.
Dov M. Gabbay (1999). Fibring Logics. Clarendon Press.
Carlos Caleiro & Jaime Ramos (2007). From Fibring to Cryptofibring. A Solution to the Collapsing Problem. Logica Universalis 1 (1):71-92.
Amílcar Sernadas (2000). Fibring Logics, Dov M. Gabbay. Journal of Logic, Language and Information 9 (4):511-513.
Cristina Sernadas, João Rasga & Walter A. Carnielli (2002). Modulated Fibring and the Collapsing Problem. Journal of Symbolic Logic 67 (4):1541-1569.
Marcelo E. Coniglio (2007). Recovering a Logic From its Fragments by Meta-Fibring. Logica Universalis 1 (2):377-416.
C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. [REVIEW] Journal of Logic, Language and Information 12 (2):183-211.
Frank Wolter (1997). Completeness and Decidability of Tense Logics Closely Related to Logics Above K. Journal of Symbolic Logic 62 (1):131-158.
Added to index2009-01-28
Total downloads12 ( #183,461 of 1,696,616 )
Recent downloads (6 months)12 ( #48,920 of 1,696,616 )
How can I increase my downloads?