Apie grynosios hibridinės logikos išsprendžiamumą
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), p. 90–95. doi: 10.15388/LMR.A.2012.16.

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
Kūrybinių bendrijų licencija

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

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.