Sekvencinės sistemos PTL logikai
Straipsniai
Romas Alonderis
Vilnius University
Regimantas Pliuškevičius
Vilnius University
Publikuota 2013-12-15
https://doi.org/10.15388/LMR.A.2013.03
PDF

Kaip cituoti

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.

Santrauka



Straipsnyje nagrinėjami trys sekvenciniai skaičiavimai skirti propozicinei tiesinio laiko logikai. Sintaksiniu būdu įrodytas šių skaičiavimų ekvivalentumas.

PDF
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.

Skaitomiausi šio autoriaus(ų) straipsniai

1 2 > >>