Beciklis sekvencinis skaičiavimas modalumo logikai K4
Straipsniai
Julius Andirkonis
Institute of Mathematics and Informatics
Publikuota 2009-12-20
https://doi.org/10.15388/LMR.2009.43
PDF (Anglų)

Reikšminiai žodžiai

žymiu ir indeksų metodas
K4
skaičiavimas be ciklų

Kaip cituoti

Andirkonis, J. (2009) “Beciklis sekvencinis skaičiavimas modalumo logikai K4”, Lietuvos matematikos rinkinys, 50(proc. LMS), pp. 241–246. doi:10.15388/LMR.2009.43.

Santrauka

Straipsnyje pateikiamasmodalumo logikos K4 skaičiavimas be ciklų. Šis skaičiavimas yra paremtas žymių ir indeksų metodu, kuris pirmą kartąa buvo panaudotas logikai  S4.

PDF (Anglų)

Atsisiuntimai

Nėra atsisiuntimų.