refs.bib

@inbook{amir,
  title={Implication via Spacetime},
  author={Tabatabai, Amirhossein Akbar},
  booktitle={Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir},
  series={Logic, Epistemology, and the Unity of Science},
  volume={49},
  pages={161 -- 216},
  year={2021},
  publisher={Springer Nature}
}

@article{Lyndon1959AnIT,
  title={An interpolation theorem in the predicate calculus.},
  author={Roger Lyndon},
  journal={Pacific Journal of Mathematics},
  year={1959},
  volume={9},
  pages={129-142}
}

@article{CraigA,
 ISSN = {00224812},
 URL = {http://www.jstor.org/stable/2963593},
 author = {William Craig},
 journal = {The Journal of Symbolic Logic},
 number = {3},
 pages = {250--268},
 publisher = {Association for Symbolic Logic},
 title = {Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem},
 urldate = {2022-07-02},
 volume = {22},
 year = {1957}
}

@article{maehara1960interpolation,
  title={On the interpolation theorem of Craig},
  author={Maehara, Shoji},
  journal={Sugaku},
  volume={12},
  number={4},
  pages={235--237},
  year={1960}
}