Sekvencinis skaičiavimas be pjūvio taisyklės logikai S5n(ED)

Santrauka

Darbe nagrinėjami Hilbert’o tipo, Gentzen’o tipo sekvencinis ir Kanger’io tipo sekvencinis skaičiavimai žinių logikai S5_n(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.