@article{amidei2016trialI,
  title={Trial and error mathematics I: Dialectical and quasidialectical systems},
  author={Amidei, Jacopo and Pianigiani, Duccio and San Mauro, Luca and Simi, Giulia and Sorbi, Andrea},
  journal={The review of symbolic logic},
  volume={9},
  number={2},
  pages={299--324},
  year={2016},
  publisher={Cambridge University Press}
}