LDS - Labelled Deductive Systems: Volume 1 - Foundations