@misc{indiciaee59589dc5f0d,
  title = {Non-distributive positive logic as a fragment of first-order logic over semilattices},
  author = {Jim de Groot},
  year = {2023},
  doi = {10.1093/logcom/exad003},
  url = {https://arxiv.org/abs/2208.11354},
  note = {Source identifier: 2208.11354}
}