ALONDERIS, Romas; PLIUŠKEVIČIUS, Regimantas; PLIUŠKEVIČIENĖ, Aida. Finite sequent calculi for PLTL. Lietuvos matematikos rinkinys, [S. l.], v. 56, n. A, p. 1–6, 2015. DOI: 10.15388/LMR.A.2015.01. Disponível em: https://journals.vu.lt./LMR/article/view/14916.. Acesso em: 21 nov. 2024.