Completeness classes for intuitionistic first-order temporal logic with time gaps

Romas Alonderis

doi:10.15388/LMR.2005.26671

Straipsniai

Romas Alonderis

Matematikos ir informatikos instititas

Publikuota 2023-11-20

https://doi.org/10.15388/LMR.2005.26671

PDF

Kaip cituoti

Alonderis, R. (2023) “Pilnumo klasės intuicionistinei pirmos eilės laiko logikai su laiko tarpsniais”, Lietuvos matematikos rinkinys, 45(spec.), pp. 309–315. doi:10.15388/LMR.2005.26671.

Atsisiųsti citatą

Santrauka

Darbe yra pateikiama pirmos eilės intuicionistinė laiko logika TBJ su laiko tarpsniais. Parodoma, kad šios logikos sekvencinis skaičiavimas LBJ yra korektiškas, tačiau nepilnas logikos TBJ atžvilgiu. Apibrėžiamos Glivenko sekvencijų klasės skaičiavimui LBJ bei jo klasikiniam atitikmeniui LB. Sekvencija priklausanti kuriai nors Glivenko klasei yra įrodoma skaičiavime LB tada ir tik tada, kai ji yra įrodoma skaičiavime LBJ. Glivenko klasės apibrėžiamos sekvencijoms, kurių sukcedentas susideda iš vienos formulės (visiškai Glivenko σ-klasės), ir sekvencijoms turinčioms tuščią sukcedentą (Glivenko σ -klasės). Parodoma, kad Glivenko klasės yra LBJ pilnumo logikos TBJ atžvilgiu klasės.

PDF

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

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
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinės sistemos PTL logikai , Lietuvos matematikos rinkinys: T 54 (2013): 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
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)
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)
Romas Alonderis, Efektyvesnė laiko logikos sekvencijų įrodymo paieška , Lietuvos matematikos rinkinys: T 63 (2022): A serija
Romas Alonderis , Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui , Lietuvos matematikos rinkinys: T 50 (2009)

1 2 > >>