Finite sequent calculi for PLTL

Romas Alonderis; Regimantas Pliuškevičius; Aida Pliuškevičienė

doi:10.15388/LMR.A.2015.01

Straipsniai

Romas Alonderis

Vilnius University

Regimantas Pliuškevičius

Vilnius University

Aida Pliuškevičienė

Vilnius University

Publikuota 2015-12-15

https://doi.org/10.15388/LMR.A.2015.01

PDF

Kaip cituoti

Alonderis, R., Pliuškevičius, R. and Pliuškevičienė, A. (2015) “Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai”, Lietuvos matematikos rinkinys, 56(A), pp. 1–6. doi:10.15388/LMR.A.2015.01.

Atsisiųsti citatą

Santrauka

Straipnyje nagrinėjami du temporalinės žinių logikos sekvenciniai skaičiavimai, vienas su invariantine taisykle, o kitas su ciklinėmis aksiomomis. Įrodoma, kad šie skaičiavimai yra ekvivalentūs, korektiški ir pilni.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Regimantas Pliuškevičius, Išsprendžiamoji procedūra kvantorinės tiesinio laiko logikos fragmentui su pusiau-periodiniais branduoliais , Lietuvos matematikos rinkinys: T 42 (2002)
Romas Alonderis, Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime , Lietuvos matematikos rinkinys: T 42 (2002)
Aida Pliuškevičienė, Išsprendžiamoji procedūra kvantorinės skaidaus laiko logikos fragmentui , Lietuvos matematikos rinkinys: T 42 (2002)
Romas Alonderis, Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų , Lietuvos matematikos rinkinys: T 41 (2001)
Jolanta Kaušilaitė , Regimantas Pliuškevičius, Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą , Lietuvos matematikos rinkinys: Nr. III (1999)
Romas Alonderis, Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija , Lietuvos matematikos rinkinys: Nr. III (1999)
Aida Pliuškevičienė, Išsprendžiamoji procedūra dinaminės logikos fragmentui , Lietuvos matematikos rinkinys: T 41 (2001)

<< < 2 3 4