Multi-succedent sequent calculus for intuitionistic epistemic logic

Romas Alonderis

doi:10.15388/LMD.2024.37367

Straipsniai

Romas Alonderis

Vilniaus universitetas

https://orcid.org/0000-0002-7792-5285

Publikuota 2024-12-10

https://doi.org/10.15388/LMD.2024.37367

PDF (anglų)

Reikšminiai žodžiai

intuicionistinė episteminė logika
sekvencinis skaičiavimas

##submission.howToCite##

Alonderis, R. (2024) „Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai“, Lietuvos matematikos rinkinys, 65(A), p. 9–17. doi:10.15388/LMD.2024.37367.

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

Straipsnyje yra pateiktas daugiasukcedentinis sekvencinis skaičiavimas intuicionistinei episteminei logikai. Įrodytas struktūrinių ir pjūvio taisyklių leistinumas šiame skaičivime. Taip pat įrodytas šio skaičiavimo bei tradicinio intuicionistinio skaičiavimo ekvivalentumas intuicionistinių sekvencijų atžvilgiu.

PDF (anglų)

##submission.license.cc.by4.footer##

Atsisiuntimai

Nėra atsisiuntimų.

##plugins.generic.recommendByAuthor.heading##

Romas Alonderis , Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui , Lietuvos matematikos rinkinys: T 50 (2009)
Romas Alonderis, Sekvencinis skaičiavimas propozicinei tikėtinumo logikai , Lietuvos matematikos rinkinys: T 46 (2006)
Romas Alonderis, Įrodymo paieškos automatizacija pirmos eilės, tiesinio laiko logikos fragmentui , Lietuvos matematikos rinkinys: T 43 (2003)
Romas Alonderis, Pilnumo klasės intuicionistinei pirmos eilės laiko logikai su laiko tarpsniais , Lietuvos matematikos rinkinys: T 45 (2005)
Romas Alonderis, Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime , Lietuvos matematikos rinkinys: T 42 (2002)
Romas Alonderis, Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų , Lietuvos matematikos rinkinys: T 41 (2001)
Romas Alonderis, Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija , Lietuvos matematikos rinkinys: Nr. III (1999)
Romas Alonderis, Indeksinis daugiasukcedentinis skaičiavimas su apverčiamomis taisyklėmis konstruktyvinei logikai , Lietuvos matematikos rinkinys: 1997: Proc. of the Lithuanian Mathematical Society
Romas Alonderis, Dėl intuityvistinės šakojimosi įtempta logika su silpna indukcija , Lietuvos matematikos rinkinys: Nr. II (1998)

<< < 1 2