@misc{indiciae7d04be3da735,
  title = {Lewis meets Brouwer: constructive strict implication},
  author = {Tadeusz Litak and Albert Visser},
  year = {2017},
  doi = {10.1016/j.indag.2017.10.003},
  url = {https://arxiv.org/abs/1708.02143},
  note = {Source identifier: 1708.02143}
}