Beciklis įrodymų baigtinumo tikrinimas dinaminės logikos fragmentui
Straipsniai
Regimantas Pliuškevičius
Institute of Mathematics and Informatics
Publikuota 2008-12-21
https://doi.org/10.15388/LMR.2008.18111
PDF

Reikšminiai žodžiai

propozicinė dinaminė logika
sekvencinis skaičiavimas
ciklų tikrinimas
apverčiama taisyklė

Kaip cituoti

Pliuškevičius R. (2008) „Beciklis įrodymų baigtinumo tikrinimas dinaminės logikos fragmentui“, Lietuvos matematikos rinkinys, 48(proc. LMS), p. 283–287. doi: 10.15388/LMR.2008.18111.

Santrauka

Straipsnyje yra nagrinėjama determinuota propozicinė dinaminė logika. Sukonstruotas beciklis sekvencinis skaičiavimas šios logikos fragmentui. Ciklų tikrinimas yra pakeičiamas tam tikro pavidalo sekvencijomis.

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.