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

Romas Alonderis, Efektyvesnė laiko logikos sekvencijų įrodymo paieška , Lietuvos matematikos rinkinys: T 63 (2022): A serija
Julius Andrikonis, Regimantas Pliuškevičius, Dubliavimo eliminavimas modalumo logikoms S5 ir KD45 , Lietuvos matematikos rinkinys: T 52 (2011)
Regimantas Pliuškevičius , Įrodymų baigtinumas minimaliai laiko logikai , Lietuvos matematikos rinkinys: T 50 (2009)
Regimantas Pliuškevičius , Aida Pliuškevičienė, Indeksų ir žymių metodas tiesinei modalumo logikai , Lietuvos matematikos rinkinys: T 50 (2009)
Regimantas Pliuškevičius , Beciklis įrodymų baigtinumo tikrinimas dinaminės logikos fragmentui , Lietuvos matematikos rinkinys: T 48 (2008)
Romas Alonderis , Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui , Lietuvos matematikos rinkinys: T 50 (2009)
Romas Alonderis, Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais , Lietuvos matematikos rinkinys: T 52 (2011)
Aurimas Paulius Girčys, Regimantas Pliuškevičius, Išvedimų specializacija bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T 52 (2011)
Aida Pliuškevičienė, Ciklų tikrinimo eliminavimas paskirstyto žinojimo netranzityviai logikai , Lietuvos matematikos rinkinys: T 48 (2008)
Aida Pliuškevičienė, Ciklų tikrinimo eliminavimas idealaus žinojimo logikai , Lietuvos matematikos rinkinys: T 50 (2009)

<< < 1 2 3 4 > >>