Graduate studies at Western
Journal of Logic, Language and Information 12 (2):183-211 (2003)
|Abstract||Fibring has been shown to be useful for combining logics endowed withtruth-functional semantics. However, the techniques used so far are unableto cope with fibring of logics endowed with non-truth-functional semanticsas, for example, paraconsistent logics. The first main contribution of thepaper is the development of a suitable abstract notion of logic, that mayalso encompass systems with non-truth-functional connectives, and wherefibring can still be dealt with. Furthermore, it is shown that thisextended notion of fibring preserves completeness under certain reasonableconditions. This completeness transfer result, the second main contributionof the paper, generalizes the one established in Zanardo et al. (2001) butis obtained using new techniques that explore the properties of a suitablemeta-logic (conditional equational logic) where the (possibly)non-truth-functional valuations are specified. The modal paraconsistentlogic of da Costa and Carnielli (1988) is studied in the context of this novel notionof fibring and its completeness is so established.|
|Keywords||completeness fibring non-truth-functional logics|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Henri Galinon (2009). A Note on Generalized Functional Completeness in the Realm of Elementrary Logic. Bulletin of the Section of Logic 38 (1):1-9.
Amílcar Sernadas (2000). Fibring Logics, Dov M. Gabbay. Journal of Logic, Language and Information 9 (4):511-513.
Juliana Bueno-Soler (2010). Two Semantical Approaches to Paraconsistent Modalities. Logica Universalis 4 (1):137-160.
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.
Torben Braüner (2005). Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica 81 (2):191 - 226.
João Marcos (2009). What is a Non-Truth-Functional Logic? Studia Logica 92 (2):215 - 240.
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.
Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas (2001). Fibring: Completeness Preservation. Journal of Symbolic Logic 66 (1):414-439.
Added to index2009-01-28
Total downloads3 ( #213,976 of 739,444 )
Recent downloads (6 months)1 ( #61,778 of 739,444 )
How can I increase my downloads?