Indeksų ir žymių metodas tiesinei modalumo logikai
Straipsniai
Regimantas Pliuškevičius
Institute of Mathematics and Informatics
Aida Pliuškevičienė
Institute of Mathematics and Informatics
Publikuota 2009-12-20
https://doi.org/10.15388/LMR.2009.48
PDF

Reikšminiai žodžiai

modalumo logikos
sekvencinis skaičiavimas
baigtinumas
apverčiamos taisyklės

Kaip cituoti

Pliuškevičius R. ir Pliuškevičienė A. (2009) „Indeksų ir žymių metodas tiesinei modalumo logikai“, Lietuvos matematikos rinkinys, 50(proc. LMS), p. 269–274. doi: 10.15388/LMR.2009.48.

Santrauka

Straipsnyje yra pateikiamas indeksų ir žymių metodas tiesinei modalumo logikai. Šis metodas išplečia autorių pasiūlytą metodą modalumo logikai S4. Metodo esmė – įrodymu baigtinumo tikrinimas nenaudojant istorijų sąvokos.

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.