A labeled sequent calculus for propositional linear time logic

Romas Alonderis

doi:10.15388/LMR.A.2012.01

Straipsniai

Romas Alonderis

Vilnius University

Publikuota 2012-12-15

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

PDF

Kaip cituoti

Alonderis, R. (2012) “Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai”, Lietuvos matematikos rinkinys, 53(A), pp. 1–6. doi:10.15388/LMR.A.2012.01.

ACM
ACS
APA
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver

Atsisiųsti citatą

Endnote/Zotero/Mendeley (RIS)
BibTeX

Santrauka

Darbe yra pateiktas žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai. Įrodyta, kad šis skaičiavimas yra pilnas tam tikros nagrinėjamos logikos sekvencijų klasės atžvilgiu.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Romas Alonderis, Sekvencinis skaičiavimas propozicinei tikėtinumo logikai , Lietuvos matematikos rinkinys: T 46 (2006)
Romas Alonderis, Pilnumo klasės intuicionistinei pirmos eilės laiko logikai su laiko tarpsniais , Lietuvos matematikos rinkinys: T 45 (2005)
Romas Alonderis, Įrodymo paieškos automatizacija pirmos eilės, tiesinio laiko logikos fragmentui , Lietuvos matematikos rinkinys: T 43 (2003)
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)

<< < 1 2