On decidability of pure hybrid logic

Stanislovas Norgėla

doi:10.15388/LMR.A.2012.16

Straipsniai

Stanislovas Norgėla

Vilnius University

Publikuota 2012-12-15

https://doi.org/10.15388/LMR.A.2012.16

PDF

Kaip cituoti

Norgėla, S. (2012) “Apie grynosios hibridinės logikos išsprendžiamumą”, Lietuvos matematikos rinkinys, 53(A), pp. 90–95. doi:10.15388/LMR.A.2012.16.

Atsisiųsti citatą

Santrauka

Darbe nagrinėjama viena grynosios hibridinės logikos formulių klasė. Įrodomas jos išsprendžiamumas. Išsprendžiamumui įrodyti pasinaudojama sekvenciniu be ciklų skaičiavimu logikos H(@) formulėms.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Stanislovas Norgėla, Rezoliucijų metodas hibridinėms logikoms , Lietuvos matematikos rinkinys: T 52 (2011)
Stanislovas Norgėla, Linas Petrauskas, Hibridinės logikos formulių transformavimas , Lietuvos matematikos rinkinys: T 51 (2010)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Išvedimo paieška Hibridinėje logikoje , Lietuvos matematikos rinkinys: T 48 (2008)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Hibridinės logikos formulių normalioji forma , Lietuvos matematikos rinkinys: T 47 (2007)
Stanislovas Norgėla, Anželika Šalaviejienė, Sekvencinis skaičiavimas hibridinei logikai , Lietuvos matematikos rinkinys: T 46 (2006)
Adomas Birštunas, Stanislovas Norgėla, Atvirkštinis metodas teiginių modalumo logikai S4 , Lietuvos matematikos rinkinys: T 43 (2003)
Stanislovas Norgėla, Informatikos specialistų ruošimas Vilniaus universiteto matematikos ir informatikos fakultete , Lietuvos matematikos rinkinys: T 41 (2001)
Andrejus Belovas, Stanislovas Norgėla, Sekvencinis skaičiavimas Sk4 skulemizuotoms formulėms , Lietuvos matematikos rinkinys: T 45 (2005)
Stanislovas Norgėla, Herbrand skleidinys vienai modalumo logikos S4 formulių klasei , Lietuvos matematikos rinkinys: T 43 (2003)
Stanislovas Norgėla, Vienos modalumo logikos S4 klasės su vienviečiais predikatiniais kintamaisiais išsprendžiamumas , Lietuvos matematikos rinkinys: T 42 (2002)

1 2 > >>