A resolution calculus for modal logic S4

Stasys Norgėla

doi:10.15388/LMR.2000.35147

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.

Atsisiųsti citatą

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

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

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Svetlana Danilenko, Viktoras Chadyšas, Aurelija Kasparavičiūtė, Matematikos mokymo skirtingose studijose palyginamoji analizė , Lietuvos matematikos rinkinys: T 57 (2016): B serija
Julija Kurilova, Eugenijus Kurilovas, Saulius Minkevičius, Personalizuotų mokomųjų scenarijų tinkamumo, priimtinumo ir naudojamumo vertinimas , Lietuvos matematikos rinkinys: T 58 (2017): B serija
Jurgis Sušinskas, Juozas Juvencijus Mačys, Olimpiadinė lygčių sistema , Lietuvos matematikos rinkinys: T 53 (2012): B serija
Nadiežda Vladimirovna Ostanina, Vaikų su ypatingais ugdymo poreikiais integruoto mokymo patirtis , Lietuvos matematikos rinkinys: T 48 (2008)
Rytis Bieliauskas, Eugenijus Paliokas, Bitcoin – priemonė konsensusui pilnai decentralizuotoje sistemoje pasiekti , Lietuvos matematikos rinkinys: T 57 (2016): A serija
Sergejus Sokolovas, Eglė Sokolovaitė, Lygtys ir nelygybės su parametru , Lietuvos matematikos rinkinys: T 47 (2007)
Roman Duda, Stefanas Banachas , Lietuvos matematikos rinkinys: T 54 (2013): A serija
Aistė Elijio, Dovilė Malijonytė, Simetrija kaip matematinių uždavinių sprendimo taktika , Lietuvos matematikos rinkinys: T 53 (2012): B serija
Petras Vaškas , Trigonometrinės funkcijos vidurinėje mokykloje , Lietuvos matematikos rinkinys: T 50 (2009)
Jevgenijus Kirjackis, Edmundas Mazėtis, Grigorijus Melničenko, Stačiųjų trikampių egzistavimo ir vienaties problema , Lietuvos matematikos rinkinys: T 58 (2017): B serija

<< < 6 7 8 9 10 > >>