Plain fibring and direct union of logics with matrix semantics

Abstract. 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 matrix logics called direct union. This technique is applied to the study of the class of fuzzy logics defined by t-norms