Fibring Non-Truth-Functional Logics: Completeness Preservation

Abstract

Fibring has been shown to be useful for combining logics endowed with truthfunctional semantics. However, the techniques used so far are unable to cope with fibring of logics endowed with non-truth-functional semantics as, for example, paraconsistent logics. The first main contribution of the paper is the development of a suitable abstract notion of logic… (More)
DOI: 10.1023/A:1022301711366

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics