Normal form of formulas of pure hybrid logic

Daiva  Aleknavičiūtė; Stanislovas  Norgėla

doi:10.15388/LMR.2007.24225

Straipsniai

Daiva Aleknavičiūtė

Vilniaus universitetas

Stanislovas Norgėla

Vilniaus universitetas

Publikuota 2021-06-14

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

PDF

Kaip cituoti

Aleknavičiūtė, D. and Norgėla, S. (2021) “Hibridinės logikos formulių normalioji forma”, Lietuvos matematikos rinkinys, 47(spec.), pp. 341–345. doi:10.15388/LMR.2007.24225.

Atsisiųsti citatą

Santrauka

Aprašomas grynosios hibridinės logikos formulių be suvaržymo operatoriaus transformavimo metodas į ekvivalenčią normaliąją formą, kurioje įvykdomumo operatorių veikimų srityse nėra įvykdomumo operatorių įeičių.

PDF

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)
Stanislovas Norgėla, Anželika Šalaviejienė, Sekvencinis skaičiavimas hibridinei logikai , Lietuvos matematikos rinkinys: T 46 (2006)
Andrejus Belovas, Stanislovas Norgėla, Sekvencinis skaičiavimas Sk4 skulemizuotoms formulėms , Lietuvos matematikos rinkinys: T 45 (2005)
Adomas Birštunas, Stanislovas Norgėla, Atvirkštinis metodas teiginių modalumo logikai S4 , Lietuvos matematikos rinkinys: T 43 (2003)
Stanislovas Norgėla, Herbrand skleidinys vienai modalumo logikos S4 formulių klasei , 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, Informatikos specialistų ruošimas Vilniaus universiteto matematikos ir informatikos fakultete , Lietuvos matematikos rinkinys: T 41 (2001)

1 2 > >>