Ciklų tikrinimo eliminavimas idealaus žinojimo logikai
Straipsniai
Aida Pliuškevičienė
Institute of Mathematics and Informatics
Publikuota 2009-12-20
https://doi.org/10.15388/LMR.2009.46
PDF

Reikšminiai žodžiai

modalumo logikos
sekvencinis skaiČiavimas
išvedimo baigtinumas
ciklų tikrinimas
indeksavimas

Kaip cituoti

Pliuškevičienė A. (2009) „Ciklų tikrinimo eliminavimas idealaus žinojimo logikai“, Lietuvos matematikos rinkinys, 50(proc. LMS), p. 258–263. doi: 10.15388/LMR.2009.46.

Santrauka

Pateiktas korektiškas ir pilnas sekvencinis skaičiavimas idealaus žinojimo logikai. Naudojant sukonstuotą skaičiavimą gaunama neturinti ciklų išprendžiamoji procedųra. Vietoje istorijų sąvokos įrodymų baigtinumo tikrinimui naudojami indeksai ir žymės.

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.