Fibring (Para)consistent Logics∗
نویسندگان
چکیده
The problem of fibring paraconsistent logics is addressed. Such logics raise new problems in the semantics of fibring since previous work assumed verum-functional models. The solution is found in a general notion of interpretation system presentation that “specifies” the intended valuations in some appropriate meta language. Fibring appears as a universal construction in the category of interpretation system presentations, generalizing the results for systems with verum-functional semantics. As an illustration, the fibring of paraconsistent system C1 and modal system K, while sharing propositional symbols, conjunction, disjunction and implication, is obtained. The fibring of the whole hierarchy {Cn}n∈N leads to the limit paraconsistent logic Clim. Fibring is shown to be a promising technique for generating new paraconsistent logics.
منابع مشابه
Fibring: Completeness Preservation
A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics wit...
متن کاملFibring Logics with Topos Semantics
The concept of fibring is extended to higher-order logics with arbitrary modalities and binding operators. A general completeness theorem is established for such logics including HOL and with the meta-theorem of deduction. As a corollary, completeness is shown to be preserved when fibring such rich logics. This result is extended to weaker logics in the cases where fibring preserves conservativ...
متن کاملPlain Fibring and Direct Union of Logics with Matrix Semantics
In this paper a variation of the fibred semantics of D. Gabbay called plain fibring is proposed, with the aim of combining logics given by matrix semantics. It is proved that the plain fibring of matrix logics is also a matrix logic. Moreover, it is proved that any logic obtained by plain fibring is a conservative extension of the original logics. It is also proposed a simpler version of plain ...
متن کاملFibring of Logics as a Categorial Construction
Much attention has been given recently to the mechanism of fibring of logics, allowing free mixing of the connectives and using proof rules from both logics. Fibring seems to be a rather useful and general form of combination of logics that deserves detailed study. It is now well understood at the proof-theoretic level. However, the semantics of fibring is still insufficiently understood. Herei...
متن کاملHeterogeneous Fibring of Deductive Systems Via Abstract Proof Systems
Fibring is a meta-logical constructor that applied to two logics produces a new logic whose formulas allow the mixing of symbols. Homogeneous fibring assumes that the original logics are presented in the same way (e.g via Hilbert calculi). Heterogeneous fibring, allowing the original logics to have different presentations (e.g. one presented by a Hilbert calculus and the other by a sequent calc...
متن کامل