Relation between classical and intuitionistic sequent calculi of temporal logic

Romas Alonderis

doi:10.15388/LMR.2001.34620

Straipsniai

Romas Alonderis

Matematikos ir informatikos institutas

Publikuota 2001-12-17

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

PDF

Kaip cituoti

Alonderis, R. (2001) “Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų”, Lietuvos matematikos rinkinys, 41(spec.), pp. 403–407. doi:10.15388/LMR.2001.34620.

ACM
ACS
APA
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver

Atsisiųsti citatą

Endnote/Zotero/Mendeley (RIS)
BibTeX

Santrauka

Darbe nagrinėjamas ryšys tarp intuicionistinio ir klasikinio laiko logikos su laiko tarpsniais sekvencinių skaičiavimų LB ir LBJ. Šis ryšys yra nusakomas Glivenko klasėmis. Nurodomos sąlygos, kurias turi tenkinti kiekviena Glivenko ir visiškai Glivenko cr-klasė.

PDF

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Romas Alonderis, Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais , Lietuvos matematikos rinkinys: T 52 (2011)
Romas Alonderis, Įrodymo paieškos automatizacija pirmos eilės, tiesinio laiko logikos fragmentui , Lietuvos matematikos rinkinys: T 43 (2003)
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, Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime , Lietuvos matematikos rinkinys: T 42 (2002)
Romas Alonderis, Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai , Lietuvos matematikos rinkinys: T 65 (2024): A serija
Romas Alonderis, Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija , Lietuvos matematikos rinkinys: Nr. III (1999)
Romas Alonderis, Dėl intuityvistinės šakojimosi įtempta logika su silpna indukcija , Lietuvos matematikos rinkinys: Nr. II (1998)
Romas Alonderis, Indeksinis daugiasukcedentinis skaičiavimas su apverčiamomis taisyklėmis konstruktyvinei logikai , Lietuvos matematikos rinkinys: 1997: Proc. of the Lithuanian Mathematical Society

<< < 1 2