Fibring Non-Truth-Functional Logics: Completeness Preservation (2000)
Cached
Download Links
| Venue: | Journal of Logic, Language and Information |
| Citations: | 26 - 20 self |
BibTeX
@ARTICLE{Caleiro00fibringnon-truth-functional,
author = {Carlos Caleiro and Walter Carnielli and Marcelo E. Coniglio and Amilcar Sernadas and Cristina Sernadas},
title = {Fibring Non-Truth-Functional Logics: Completeness Preservation},
journal = {Journal of Logic, Language and Information},
year = {2000},
volume = {12},
pages = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Fibring has been shown to be useful for combining logics endowed with truth-functional semantics. One wonders if bring can be extended in order to cope with logics endowed with non-truth-functional semantics as, for example, paraconsistent logics. The rst main contribution of the paper is a positive answer to this question. Furthermore, it is shown that this extended notion of bring preserves completeness under certain reasonable conditions. This completeness transfer result, the second main contribution of the paper, generalizes the one established by Zanardo et al. and is obtained using a new technique exploiting the properties of the metalogic where the (possibly non-truth-functional) valuations are de ned. The modal paraconsistent logic of da Costa and Carnielli is obtained by bring and its completeness is so established.
