Rezoliucijų skaičiavimas modalumų logikai S4
Straipsniai
Stasys Norgėla
Vilniaus universitetas
Publikuota 2000-12-18
https://doi.org/10.15388/LMR.2000.35147
PDF

Kaip cituoti

Norgėla, S. (2000) “Rezoliucijų skaičiavimas modalumų logikai S4”, Lietuvos matematikos rinkinys, 40(spec.), pp. 270–274. doi:10.15388/LMR.2000.35147.

Santrauka

Darbe nagrinėjamos bendro pavidalo modalumų logikos formulės. Aprašomas rezoliucijų skaičiavimas modalumą logikai S4 bei trodomas jo pilnumas ir korektiškumas.

PDF
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Atsisiuntimai

Nėra atsisiuntimų.