Non-Truth-Functional Fibred Semantics
Carlos Caleiro, João Marcos · Ghent University Academic Bibliography (Ghent University) · 2001
Abstract Until recently, truth-functionality has been considered essential to the mech-anism for combining logics known as fib-ring. Following the first efforts towards ex-tending fibred semantics to logics with non-truth-functional operators, this paper aims to clarify the subject at the light of ideas borrowed from the theory of general log-ics as institutions and the novel notion of non-truth-functional room. Besides introduc-ing the relevant concepts and constructions, the paper presents a detailed worked example combining classical first-order logic with the paraconsistent propositional system C1, for which a meaningful semantics is obtained. The possibility of extending this technique to build first-order versions of further logics of formal inconsistency is also discussed.