Labelled Deductive Systems, Volume 1, Dov M. Gabbay

@article{Kruijff1998LabelledDS,
  title={Labelled Deductive Systems, Volume 1, Dov M. Gabbay},
  author={Geert-Jan M. Kruijff},
  journal={Journal of Logic, Language and Information},
  year={1998},
  volume={7},
  pages={502-506}
}