@article{amidei2019trial3,
  title={Trial and error mathematics: Dialectical systems and completions of theories},
  author={Amidei, Jacopo and Andrews, Uri and Pianigiani, Duccio and San Mauro, Luca and Sorbi, Andrea},
  journal={Journal of Logic and Computation},
  volume={29},
  number={1},
  pages={157--184},
  year={2019},
  publisher={Oxford University Press}
}