Pjūvio pašalinimas sekvenciniuose skaičiavimuose su sąveikos aksioma
Straipsniai
Julius Andrikonis
Institute of Mathematics and Informatics
Publikuota 2008-12-21
https://doi.org/10.15388/LMR.2008.18106
PDF

Reikšminiai žodžiai

K4n
S4n
saveikos aksioma
pjūvio pašalinimas
centrinis agentas

Kaip cituoti

Andrikonis J. (2008) „Pjūvio pašalinimas sekvenciniuose skaičiavimuose su sąveikos aksioma“, Lietuvos matematikos rinkinys, 48(proc. LMS), p. 263–268. doi: 10.15388/LMR.2008.18106.

Santrauka

Straipsnyje nagrinėjamos multimodalinės logikos K4n ir S4n su centrinio agento sąveikos aksioma. Pristatomi Hilberto tipo skaičiavimai, išvedami Gentzeno tipo skaičiavimai su pjūvio taisykle ir pateikiami pjūvio pašalinimo teoremų įrodymo kontūrai. Darbas demonstruoja, kad šioms logikoms įmanoma sukonstruoti analitinius Gentzeno tipo skaičiavimus.

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.