Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai | Lietuvos matematikos rinkinys

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. ir Pliuškevičienė A. (2015) „Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai“, Lietuvos matematikos rinkinys, 56(A), p. 1–6. doi: 10.15388/LMR.A.2015.01.

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

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.

Atsisiuntimai

Article Views | PDF Downloads

Range Graph | Chart Graph

Skaitomiausi šio autoriaus(ų) straipsniai

Romas Alonderis, Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai , Lietuvos matematikos rinkinys: T. 53 (2012): A serija
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinės sistemos PTL logikai , Lietuvos matematikos rinkinys: T. 54 (2013): A serija
Aurimas Paulius Girčys, Regimantas Pliuškevičius, Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T. 54 (2013): A serija
Regimantas Pliuškevičius, Aurimas Paulius Girčys, Prisotinimo metodas bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T. 53 (2012): A serija
Regimantas Pliuškevičius, Žymių metodas tiesinei laiko logikai , Lietuvos matematikos rinkinys: T. 55 (2014): A serija
Romas Alonderis, Haroldas Giedra, Įrodymo ciklų metodas laiko logikai , Lietuvos matematikos rinkinys: T. 60 (2019): A serija
Romas Alonderis, Brodskio kodavimo metodas teiginių logikai , Lietuvos matematikos rinkinys: T. 58 (2017): A serija
Haroldas Giedra, Romas Alonderis, Koreliatyvių žinių logikos taikymas kvantinėje mechanikoje , Lietuvos matematikos rinkinys: T. 59 (2018): A serija
Romas Alonderis, Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais , Lietuvos matematikos rinkinys: T. 52 (2011)
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T. 52 (2011)

1 2 > >>