[1]
V. Paiva e L. C. Pereira, “A SHORT NOTE ON INTUITIONISTIC PROPOSITIONAL LOGIC WITH MULTIPLE CONCLUSIONS”, Manuscrito - Rev. Int. Fil., vol. 28, nº 2, p. 317–329, mar. 2016.