The methodology of Labelled Deductive Systems — or simply LDS1 — is a unifying framework for the study of logics and their interactions. It was proposed by Dov Gabbay a few years ago in response to conceptual pressure arising from application areas, and has now become a large and influential research programme providing logicians, both pure and applied, with a common language and a common set of basic principles in which to express and to solve their problems.
Weitere Kapitel dieses Buchs durch Wischen aufrufen
- Transformation Methods in LDS
- Springer Netherlands
ec4u, Neuer Inhalt/© ITandMEDIA