Sequent calculus Sk4 for skolemized formulas

Andrejus Belovas; Stanislovas Norgėla

doi:10.15388/LMR.2005.26672

Straipsniai

Andrejus Belovas

Vilniaus universitetas

Stanislovas Norgėla

Vilniaus universitetas

Publikuota 2005-12-18

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

PDF

Kaip cituoti

Belovas, A. and Norgėla, S. (2005) “Sekvencinis skaičiavimas Sk4 skulemizuotoms formulėms”, Lietuvos matematikos rinkinys, 45(spec.), pp. 316–320. doi:10.15388/LMR.2005.26672.

Atsisiųsti citatą

Santrauka

Nagrinėjami du skulemizavimo modalumo logikos formulėms būdai: išorinis ir vidinis. Įrodoma, kad skulemizuotos skirtingais būdais formulės yra deduktyviai ekvivalenčios. Remiantis aprašytu skaičiavimu skulemizuotoms formulėms, įrodomas vienos klasės išsprendžiamumas.

PDF

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

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) 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)
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, Rezoliucijų metodas vienai modalumo logikos S4 klasei , Lietuvos matematikos rinkinys: T 44 (2004)
Stanislovas Norgėla, Herbrand skleidinys vienai modalumo logikos S4 formulių klasei , 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)

1 2 > >>