Išvedimų specializacija bendrojo žinojimo logikai
Straipsniai
Aurimas Paulius Girčys
Vilniaus universitetas
Regimantas Pliuškevičius
Vilniaus universitetas
Publikuota 2011-12-15
https://doi.org/10.15388/LMR.2011.ml05
PDF

Reikšminiai žodžiai

sekvencinis skaičiavimas
bendrojo žinojimo logika
ciklinės aksiomos

Kaip cituoti

Girčys A. P. ir Pliuškevičius R. (2011) „Išvedimų specializacija bendrojo žinojimo logikai“, Lietuvos matematikos rinkinys, 52(proc. LMS), p. 249–252. doi: 10.15388/LMR.2011.ml05.

Santrauka

Straipsnyje pateikiama ciklinių aksiomų specializacija refleksyviai bendro žinojimo logikai.

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.