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 (Anglų)

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), pp. 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 (Anglų)

Atsisiuntimai

Nėra atsisiuntimų.