Cut elimination for knowledge logic with interaction

Julius  Andrikonis; Regimantas  Pliuškevičius

doi:10.15388/LMR.2007.24226

Straipsniai

Julius Andrikonis

Institute of Mathematics and Informatics

Regimantas Pliuškevičius

Institute of Mathematics and Informatics

Publikuota 2021-06-14

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

PDF

Kaip cituoti

Andrikonis, J. ir Pliuškevičius, R. (2021) „Pjūvio eliminavimas žinių logikai su sąveika“, Lietuvos matematikos rinkinys, 47(spec.), p. 346–350. doi:10.15388/LMR.2007.24226.

Atsisiųsti citatą

Santrauka

Straipsnyje nagrinėjama multimodalinė logika T_n su centrinio agento sąveikos aksioma. Pristatomas Hilberto tipo skaičiavimas, išvedamas Gentzeno tipo skaičiavimas su pjūvio taisykle ir pateikiami pjūvio pašalinimo teoremos irodymo kontūrai. Darbas demonstruoja, kad šiai logikai įmanoma sukonstruoti Gentzeno tipo skaičiavimč be pjūvio.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Aurimas Paulius Girčys, Regimantas Pliuškevičius, Išvedimų specializacija bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T 52 (2011)
Julius Andrikonis, Pjūvio pašalinimas sekvenciniuose skaičiavimuose su sąveikos aksioma , Lietuvos matematikos rinkinys: T 48 (2008)
Regimantas Pliuškevičius, Žinojimo logika su begaliniu agentų skaičiumi , Lietuvos matematikos rinkinys: T 46 (2006)
Regimantas Pliuškevičius, Laiko logikos ir modalumo logikos KD apjungimas , Lietuvos matematikos rinkinys: T 43 (2003)
Regimantas Pliuškevičius, Refleksyviosios bendro žinojimo logikos išsprendžiami kvantoriniai fragmentai , Lietuvos matematikos rinkinys: T 44 (2004)
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)
Jolanta Kaušilaitė , Regimantas Pliuškevičius, Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą , Lietuvos matematikos rinkinys: Nr. III (1999)

<< < 1 2