Herbrand expansions of some formulas of modal logic S4

Stanislovas Norgėla

doi:10.15388/LMR.2003.32471

Straipsniai

Stanislovas Norgėla

Vilniaus universitetas

Publikuota 2003-12-22

https://doi.org/10.15388/LMR.2003.32471

PDF

Kaip cituoti

Norgėla, S. (2003) „Herbrand skleidinys vienai modalumo logikos S4 formulių klasei“, Lietuvos matematikos rinkinys, 43(spec.), p. 434–437. doi:10.15388/LMR.2003.32471.

Atsisiųsti citatas

Anotacija

Darbe aprašyta viena kvantorinės modalumo logikos S4 formulių klasė, kurios Herbrand skleidinį galima gauti iš atitinkamų skulemizuotų formulių naudojant tik keitinius.

PDF

Nuorodos

Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) straipsniai

Stanislovas Norgėla, Apie grynosios hibridinės logikos išsprendžiamumą , Lietuvos matematikos rinkinys: T. 53 (2012): A serija
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)
Stanislovas Norgėla, Anželika Šalaviejienė, Sekvencinis skaičiavimas hibridinei logikai , Lietuvos matematikos rinkinys: T. 46 (2006)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Hibridinės logikos formulių normalioji forma , Lietuvos matematikos rinkinys: T. 47 (2007)
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)
Stanislovas Norgėla, Kai kurios išsprendžiamos modalumo logikos S4 klasės , Lietuvos matematikos rinkinys: T. 41 (2001)
Andrejus Belovas, Stanislovas Norgėla, Sekvencinis skaičiavimas Sk4 skulemizuotoms formulėms , Lietuvos matematikos rinkinys: T. 45 (2005)

1 2 > >>