## Transformation Methods in LDS (1997)

Venue: | In Logic, Language and Reasoning. An Essay in Honor of Dov Gabbay |

Citations: | 3 - 3 self |

### BibTeX

@INPROCEEDINGS{Broda97transformationmethods,

author = {K. Broda and M. D'Agostino and A. Russo},

title = {Transformation Methods in LDS},

booktitle = {In Logic, Language and Reasoning. An Essay in Honor of Dov Gabbay},

year = {1997},

publisher = {Kluwer Academic Publishers}

}

### OpenURL

### Abstract

this paper we shall, instead, use a fragment of this family of logics as a case-study to illustrate a set of methods originating in the LDS program. In particular, we aim to illuminate the following aspects: (I) By virtue of the extra power of labels and labelling algebras, traditional proof systems can be transformed so as to become applicable over a much wider territory whilst retaining a uniform structure. Different logics can be obtained by defining different labelling algebras, which therefore act as "parameters", and the transition from one logic to another can be captured as a parameter-changing process which leaves the structure of deductions unchanged