Proof-search in hybrid logic

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

doi:10.15388/LMR.2008.18104

Straipsniai

Daiva Aleknavičiūtė

Vilniaus universitetas

Stanislovas Norgėla

Vilniaus universitetas

Publikuota 2008-12-21

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

PDF (anglų)

Reikšminiai žodžiai

hibridinė logika
sekvencinis skaičiavimas

##submission.howToCite##

Aleknavičiūtė, D. ir Norgėla, S. (2008) „Išvedimo paieška Hibridinėje logikoje“, Lietuvos matematikos rinkinys, 48(proc. LMS), p. 252–255. doi:10.15388/LMR.2008.18104.

##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

Aprašoma sekvencinio skaičiavimo taktika hibridinei logikai H (@), visada užbaigianti darbą hibridinės 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