Fibring by functions as a method for combining matrix logics
From MaRDI portal
Publication:6421150
arXiv2212.10615MaRDI QIDQ6421150FDOQ6421150
Authors: Víctor L. Fernández, Marcelo E. Coniglio 
Publication date: 20 December 2022
Abstract: We present in this paper an adaptation of the process of combination of logics known as fibring introduced by D. Gabbay. We are focused on the combination of two logics defined by matrix semantics, and based on pairs of functions that relate the logics to be combined. A number of technical results are proved. Among them, we demonstrate that the fibring of two matrix logics is also a matrix one. In addition, we prove that fibring is a (weak) conservative extension of the original logics, and we give conditions for such extension to be strong. We also study the case of fibring identifying two connectives as being the same. Several examples referred to fibring of some well-known matrix logics are shown along this paper.
This page was built for publication: Fibring by functions as a method for combining matrix logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6421150)
