@misc{indiciaebd4c7d355e8d,
  title = {Algebraic proof theory for LE-logics},
  author = {Giuseppe Greco and Peter Jipsen and Fei Liang and Alessandra Palmigiano and Apostolos Tzimoulis},
  year = {2024},
  doi = {10.1145/3632526},
  url = {https://arxiv.org/abs/1808.04642},
  note = {Source identifier: 1808.04642}
}