No label defined (Q4946231)

The methodology of Labelled Deductive Systems (LDS), as unifying framework for the study of logics and their interactions, became a self-dependent research field in modern logic. The paper illustrates some transformation methods, originated from the LDS program, using selected substructural logics. By these methods one can transform traditional proof systems into new, more rich ones, that are applicable in wider areas due to the power of labels and labelling algebras. Moreover, different logics can be obtained by defining different labelling algebras. In the paper the authors present how to translate a many-valued consequence relation into an equivalent `possible-worlds' consequence relation, how to reformulate `possible-worlds' semantics in terms of labelled refutation systems, and how to translate a labelled KE-tree into a natural deduction proof. For the entire collection see [Zbl 0927.00010].