de Carvalho, F. S. Bases Para Uma Teoria Geral Das Construções Formais. Intuitio 2016, 9, 15-27.