Lyndon's interpolation property for the logic of strict implication

Narbe Aboolian, Majid Alizadeh. Lyndon's interpolation property for the logic of strict implication. Logic Journal of the IGPL, 30(1):34-70, 2022. [doi]

@article{AboolianA22,
  title = {Lyndon's interpolation property for the logic of strict implication},
  author = {Narbe Aboolian and Majid Alizadeh},
  year = {2022},
  doi = {10.1093/jigpal/jzaa029},
  url = {https://doi.org/10.1093/jigpal/jzaa029},
  researchr = {https://researchr.org/publication/AboolianA22},
  cites = {0},
  citedby = {0},
  journal = {Logic Journal of the IGPL},
  volume = {30},
  number = {1},
  pages = {34-70},
}