Ciklų tikrinimo eliminavimas paskirstyto žinojimo netranzityviai logikai
Straipsniai
Aida Pliuškevičienė
Institute of Mathematics and Informatics
Publikuota 2008-12-21
https://doi.org/10.15388/LMR.2008.18110
PDF

Reikšminiai žodžiai

žinojimo logika
paskirstytas žinojimas
sekvencinis skaičiavimas
ciklų tikrinimas

Kaip cituoti

Pliuškevičienė A. (2008) „Ciklų tikrinimo eliminavimas paskirstyto žinojimo netranzityviai logikai“, Lietuvos matematikos rinkinys, 48(proc. LMS), p. 278–282. doi: 10.15388/LMR.2008.18110.

Santrauka

Sukonstruotas korektiškas ir pilnas beciklis sekvencinis skaičiavimas netranzityviai paskirstyto žinojimo logikai. Ciklų tikrinimo eliminavimui yra siūloma efektyvi refleksyvumo taisyklių specializacija. Pagrįstas išvedimų pateiktame skaičiavime baigtinumas.

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.