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. and Pliuškevičienė, A. (2009) “Indeksų ir žymių metodas tiesinei modalumo logikai”, Lietuvos matematikos rinkinys, 50(proc. LMS), pp. 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

Atsisiuntimai

Nėra atsisiuntimų.