Įrodymo ciklų metodas laiko logikai
Straipsniai
Romas Alonderis
Vilniaus universitetas
https://orcid.org/0000-0002-7792-5285
Haroldas Giedra
Vilniaus universitetas
https://orcid.org/0000-0002-6852-5909
Publikuota 2019-11-12
https://doi.org/10.15388/LMR.A.2019.14953
PDF

Reikšminiai žodžiai

laiko logika
sekvenciniai skaičiavimai
įrodymo ciklai

Kaip cituoti

AlonderisR. ir GiedraH. (2019) „Įrodymo ciklų metodas laiko logikai“, Lietuvos matematikos rinkinys, 60(A), p. 1-6. doi: 10.15388/LMR.A.2019.14953.

Santrauka

Literatūroje yra nagrinėjamos įvairios propozicinės tiesinės laiko logikos dedukcinės sistemos, tokios kaip: Hilberto tipo skaičiavimai, Gentzeno tipo sekvenciniai skaičiavimai, rezoliucijų ir lentelių metodai. Pjūvio taisyklės neturintys Gentzeno tipo sekvenciniai  skaičiavimai leidžia efektyviai atlikti atgalinę formulių ir sekvencijų įrodymo paiešką, siekiant patikrinti jų tapatų teisingumą. Šiame straipsnyje pateikiamas pjūvio taisyklės neturintis Gentzeno tipo sekvencinis skaičiavimas propozicinei tiesinei laiko logikai su operatoriumi “kol”. Parodoma, kad šis skaičiavimas yra korektiškas ir pilnas nagrinėjamos logikos atžvilgiu.

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.