Žymių metodas tiesinei laiko logikai
Straipsniai
Regimantas Pliuškevičius
Vilnius University
Publikuota 2014-12-15
https://doi.org/10.15388/LMR.A.2014.09
PDF

Kaip cituoti

Pliuškevičius R. (2014) „Žymių metodas tiesinei laiko logikai“, Lietuvos matematikos rinkinys, 55(A), p. 46–50. doi: 10.15388/LMR.A.2014.09.

Santrauka


Straipsnyje pateiktas korektiškas ir pilnas sekvencinis skaičiavimas tiesinei laiko logikai. Įrodymų baigtinumo nustatymui pateiktas naujas metodas naudojantis žymes. Šis metodas leidžia efektyviai taikyti modalines taisykles nagrinėjamai laiko logikai.

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.