Sekvencinis skaičiavimas be pjūvio taisyklės logikai S5n(ED)
Straipsniai
Haroldas Giedra
Institute of Mathematics and Informatics
Publikuota 2010-12-21
https://doi.org/10.15388/LMR.2010.61
PDF

Reikšminiai žodžiai

žinių logika
paskirstytas žinojimas
visuotinis žinojimas
sekvencinis skaičiavimas
pjūvio pašalinamumas

Kaip cituoti

Giedra H. (2010) „Sekvencinis skaičiavimas be pjūvio taisyklės logikai S5n(ED)“, Lietuvos matematikos rinkinys, 51(proc. LMS), p. 336–341. doi: 10.15388/LMR.2010.61.

Santrauka

Darbe nagrinėjami Hilbert’o tipo, Gentzen’o tipo sekvencinis ir Kanger’io tipo sekvencinis skaičiavimai žinių logikai S5n(ED). Pateikiamas Gentzen’o tipo sekvencinis skaičiavimas ir įrodomas jo ekvivalentumas su Hilbert’o tipo skaičiavimu, gaunant Gentzen’o tipo skaičiavimo pagrįstumą ir pilnumą. Suformuojamas indeksinis Kanger’io tipo sekvencinis skaičiavimas be pjūvio taisyklės.

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.