On decidability of pure hybrid logic

Stanislovas Norgėla

doi:10.15388/LMR.A.2012.16

Straipsniai

Stanislovas Norgėla

Vilniaus universitetas

Publikuota 2012-12-15

https://doi.org/10.15388/LMR.A.2012.16

PDF (anglų)

##submission.howToCite##

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.

##plugins.generic.citationStyleLanguage.style.acm-sig-proceedings##
##plugins.generic.citationStyleLanguage.style.acs-nano##
##plugins.generic.citationStyleLanguage.style.apa##
##plugins.generic.citationStyleLanguage.style.associacao-brasileira-de-normas-tecnicas##
##plugins.generic.citationStyleLanguage.style.chicago-author-date##
##plugins.generic.citationStyleLanguage.style.harvard-cite-them-right##
##plugins.generic.citationStyleLanguage.style.ieee##
##plugins.generic.citationStyleLanguage.style.modern-language-association##
##plugins.generic.citationStyleLanguage.style.turabian-fullnote-bibliography##
##plugins.generic.citationStyleLanguage.style.vancouver##

##submission.howToCite.downloadCitation##

##plugins.generic.citationStyleLanguage.download.ris##
##plugins.generic.citationStyleLanguage.download.bibtex##

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ų.

##plugins.generic.recommendByAuthor.heading##

Stanislovas Norgėla, Kai kurios išsprendžiamos modalumo logikos S4 klasės , Lietuvos matematikos rinkinys: T 41 (2001)
Stanislovas Norgėla, Rezoliucijų metodas vienai modalumo logikos S4 klasei , Lietuvos matematikos rinkinys: T 44 (2004)

<< < 1 2