Sequent systems for PLTL

Romas Alonderis; Regimantas Pliuškevičius

doi:10.15388/LMR.A.2013.03

Straipsniai

Romas Alonderis

Vilnius University

Regimantas Pliuškevičius

Vilnius University

Publikuota 2013-12-15

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

PDF

Kaip cituoti

Alonderis, R. and Pliuškevičius, R. (2013) “Sekvencinės sistemos PTL logikai”, Lietuvos matematikos rinkinys, 54(A), pp. 1–5. doi:10.15388/LMR.A.2013.03.

Atsisiųsti citatą

Santrauka

Straipsnyje nagrinėjami trys sekvenciniai skaičiavimai skirti propozicinei tiesinio laiko logikai. Sintaksiniu būdu įrodytas šių skaičiavimų ekvivalentumas.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Romas Alonderis, Haroldas Giedra, Įrodymo ciklų metodas laiko logikai , Lietuvos matematikos rinkinys: T 60 (2019): A serija
Haroldas Giedra, Romas Alonderis, Koreliatyvių žinių logikos taikymas kvantinėje mechanikoje , Lietuvos matematikos rinkinys: T 59 (2018): A serija
Regimantas Pliuškevičius, Aurimas Paulius Girčys, Prisotinimo metodas bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T 53 (2012): A serija
Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T 56 (2015): A serija
Regimantas Pliuškevičius, Žymių metodas tiesinei laiko logikai , Lietuvos matematikos rinkinys: T 55 (2014): A serija
Romas Alonderis, Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai , Lietuvos matematikos rinkinys: T 53 (2012): A serija
Romas Alonderis , Propozicinės intuicionistinės logikos sekvencijų įrodymo paieška naudojant klasikinės logikos skaičiavimą , Lietuvos matematikos rinkinys: T 48 (2008)
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
Romas Alonderis, Brodskio kodavimo metodas teiginių logikai , Lietuvos matematikos rinkinys: T 58 (2017): A serija
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 3 > >>