Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai
Straipsniai
Aurimas Paulius Girčys
Vilnius University
Regimantas Pliuškevičius
Vilnius University
Publikuota 2013-12-15
https://doi.org/10.15388/LMR.A.2013.05
PDF

Kaip cituoti

Girčys A. P. ir Pliuškevičius R. (2013) „Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai“, Lietuvos matematikos rinkinys, 54(A), p. 12–15. doi: 10.15388/LMR.A.2013.05.

Santrauka


Straipsnyje pateikiami du pilni sekvenciniai skaičiavimai bendrojo žinojimo logikai. Pristatyta kalba
ir pilnas begalinis skaičiavimas skirtas RCL. Straipsnyje pristatyti baigtiniai skaičiavimai $RCL_I$ ir
$RCL_L$, ir įrodytas tų skaičiavimų pilnumas remiantis baigtinio skaičiavimo $RCL_\omega$ pilnumu.

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.