Fibring non-truth-functional logics: Completeness preservation

Journal of Logic, Language and Information 12 (2):183-211 (2003)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Fibring logics.Dov M. Gabbay - 1999 - New York: Clarendon Press.
Fibring logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.

Analytics

Added to PP
2009-01-28

Downloads
103 (#156,516)

6 months
3 (#447,120)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Marcelo E. Coniglio
University of Campinas
Walter Carnielli
University of Campinas

References found in this work

A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
A semantical Analysis of the Calculi C n.Newton C. A. Da Costa & E. H. Alves - 1977 - Notre Dame Journal Fo Formal Logic 18 (4):621-630.
Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.

View all 17 references / Add more references