Works by Caleiro, C. (exact spelling)

Order:
  1. Fibring non-truth-functional logics: Completeness preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  42
    Index of Authors of Volume 12.D. Ahn, G. Ben-Avi, D. Ben Shalom, Ph Besnard, K. Borthen, C. Caleiro, W. A. Carnielli, M. E. Coniglio, R. Cooper & N. Dimitri - 2003 - Journal of Logic, Language and Information 12 (531):531.