SCHWARTZ, Y.; TOURLAKIS, G. On the proof-theory of a first-order extension of GL. Logic and Logical Philosophy, [S. l.], v. 23, n. 3, p. 329–363, 2013. DOI: 10.12775/LLP.2013.030. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2013.030. Acesso em: 23 jun. 2024.