Dalinis pjūvio pašalinimas teiginių diskretinei laiko logikai
Straipsniai
Jūratė Sakalauskaitė
Institute of Mathematics and Informatics
Publikuota 2010-12-21
https://doi.org/10.15388/LMR.2010.63
PDF

Reikšminiai žodžiai

sekvenciniai skaičiavimai
pjūvio taisyklė
laiko logika
praeities operatoriai
pilnumas

Kaip cituoti

Sakalauskaitė J. (2010) „Dalinis pjūvio pašalinimas teiginių diskretinei laiko logikai“, Lietuvos matematikos rinkinys, 51(proc. LMS), p. 347–351. doi: 10.15388/LMR.2010.63.

Santrauka

Pateikiami Gentzeno tipo sekvenciniai skaičiavimai teiginių tiesinio laiko logikai su ateities ir praeities laiko operatoriais. Šiuose skaičiavimuose pjūvio formulės priklauso baigtinei formulių aibei. Įrodomas šių skaičiavimų korektiškumas ir pilnumas.

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.