Transformations of formulae of hybrid logic

Stanislovas  Norgėla; Linas  Petrauskas

doi:10.15388/LMR.2010.62

Straipsniai

Stanislovas Norgėla

Vilniaus universitetas

Linas Petrauskas

Vilniaus universitetas

Publikuota 2010-12-21

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

PDF

Esminiai žodžiai

hibridinė logika
disjunktas

Kaip cituoti

Norgėla, S. ir Petrauskas, L. (2010) „Hibridinės logikos formulių transformavimas“, Lietuvos matematikos rinkinys, 51(proc. LMS), p. 342–346. doi:10.15388/LMR.2010.62.

Atsisiųsti citatas

Anotacija

Aprašytas tranzityvios ir refleksyvios hibridinės logikos H(@) formulių transformavimas į disjunktų aibę.

PDF

Nuorodos

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)
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)
Stanislovas Norgėla, Herbrand skleidinys vienai modalumo logikos S4 formulių klasei , Lietuvos matematikos rinkinys: T. 43 (2003)

1 2 > >>