Vyksta programinės įrangos atnaujinimas. Platformos zurnalai.vu.lt ir journals.vu.lt gali būti laikinai nepasiekiamos nuo 12:00 iki kitos dienos 12:00 (GMT+3).
Alonderis, R. ir Pliuškevičius, R. (2013) „Sekvencinės sistemos PTL logikai“, Lietuvos matematikos rinkinys, 54(A), p. 1–5. doi:10.15388/LMR.A.2013.03.
Straipsnyje nagrinėjami trys sekvenciniai skaičiavimai skirti propozicinei tiesinio laiko logikai. Sintaksiniu būdu įrodytas šių skaičiavimų ekvivalentumas.
