scientific article; zbMATH DE number 1421202
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].
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4946231)
