How to Give an LDS Formulation for a Logic
Dov M. Gabbay · 1996
Abstract This chapter is concerned with the problem of how to give an LDS formulation into a traditionally presented logic. Given a logical system presented to us as a Hilbert system or as a Gentzen system or via tableaux or possibly via some algebraic semantics, we want to present it as an LDS system with a suitable algebra of labels. We realise there may be more than one way of doing it. We have to be more clear in what we mean by ‘presenting it’.