论文标题
通过功能作为组合矩阵逻辑的方法纤维
Fibring by functions as a method for combining matrix logics
论文作者
论文摘要
我们在本文中介绍了D. Gabbay引入的称为纤维的逻辑的组合过程。我们专注于由矩阵语义定义的两个逻辑的组合，并基于将逻辑结合在一起的函数对。证明了许多技术结果。其中，我们证明了两个矩阵逻辑的纤维也是矩阵。此外，我们证明纤维是原始逻辑的（弱）保守扩展，并且我们给出了这种扩展的条件。我们还研究了纤维识别两个连接剂的情况。本文显示了一些示例，指的是一些众所周知的矩阵逻辑的纤维。
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.
