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 (Anglų)

Kaip cituoti

Norgėla, S. (2012) “Apie grynosios hibridinės logikos išsprendžiamumą”, Lietuvos matematikos rinkinys, 53(A), pp. 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 (Anglų)

Atsisiuntimai

Nėra atsisiuntimų.