Dubliavimo eliminavimas modalumo logikoms S5 ir KD45
Straipsniai
Julius Andrikonis
Vilniaus universitetas
Regimantas Pliuškevičius
Vilniaus universitetas
Publikuota 2011-12-15
https://doi.org/10.15388/LMR.2011.ml03
PDF

Reikšminiai žodžiai

modalumo logika
sekvencinis skaičiavimas
baigtinumas
grįžimas
be dubliavimo

Kaip cituoti

Andrikonis J. ir Pliuškevičius R. (2011) „Dubliavimo eliminavimas modalumo logikoms S5 ir KD45“, Lietuvos matematikos rinkinys, 52(proc. LMS), p. 237–242. doi: 10.15388/LMR.2011.ml03.

Santrauka

Žinoma, kad baigtinumas ir grįžimas išvedimo paieškos medžiu yra kelios iš pačių svarbiausių išvedimų paieškos neklasikinėse logikose problemų. Šitame straipsnyje pateikiami sekvenciniai skaičiavimai modalumo logikoms S5 ir KD45, kuriuose nėra dubliavimo ir išvedimų paieška nereikalauja grįžimo. Tai indeksiniai skaičiavimai su tam tikromis indeksinėmis aksiomomis. Pagrindinės pristatomų skaičiavimų naujovės yra metakintamųjų naudojimas (kartu su natūraliaisiais skaičiais) indeksuose ir visų teigiamų modalumo 2 įeičių numeravimas natūraliais skaičiais.



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.