Lewis meets Brouwer: constructive strict implication (bibtex)
by Tadeusz Litak, Albert Visser
Reference:
Lewis meets Brouwer: constructive strict implication (Tadeusz Litak, Albert Visser), In Indagationes Mathematicae, vol. 29, pp. 36–90, 2018. [Elsevier version] open till Feb 10, 2018 (A special issue "L.E.J. Brouwer, fifty years later")
Bibtex Entry:
@article{LitakV17: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"},
  comment = {<a href="https://authors.elsevier.com/a/1WGM64PiHtGUl">[Elsevier version]</a> open till Feb 10, 2018},
  year      = {2018},
  url       = {https://arxiv.org/abs/1708.02143},
  issn = "0019-3577",
  doi = "10.1016/j.indag.2017.10.003",  
}
Powered by bibtexbrowser