Lewis meets Brouwer: constructive strict implication (bibtex)

by Tadeusz Litak and Albert Visser

Reference:

Tadeusz Litak and Albert Visser: Lewis meets Brouwer: constructive strict implication, In Indagationes Mathematicae, 29, pp. 36–90, 2018. A special issue "L.E.J. Brouwer, fifty years later"

Bibtex Entry:

@article{LitakV18:im,
  author    = {Tadeusz Litak and Albert Visser},
  title     = {Lewis meets {B}rouwer: constructive strict implication},
  journal   = {Indagationes Mathematicae},
  volume    = {29},
  issue = {1},
  month = {February},
  pages = {36--90},
  note    = {A special issue "L.E.J. Brouwer, fifty years later"},
  year      = {2018},
  issn = {0019-3577},
  doi = {10.1016/j.indag.2017.10.003}, 
  eprint = {1708.02143},
  archivePrefix={arXiv},
  primaryClass={cs.LO},
}