On intuitionistic branching tense logic with weak induction

Romas Alonderis

doi:10.15388/LMD.1998.37921

Straipsniai

Romas Alonderis

Matematikos ir informatikos institutas

Publikuota 1998-12-14

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

PDF

Kaip cituoti

Alonderis, R. (1998) “Dėl intuityvistinės šakojimosi įtempta logika su silpna indukcija”, Lietuvos matematikos rinkinys, 38(II), pp. 295–301 . doi:10.15388/LMD.1998.37921.

ACM
ACS
APA
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver

Atsisiųsti citatą

Endnote/Zotero/Mendeley (RIS)
BibTeX

Santrauka

Santraukos nėra.

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, Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai , Lietuvos matematikos rinkinys: T 65 (2024): A serija
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, Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija , Lietuvos matematikos rinkinys: Nr. III (1999)
Romas Alonderis, Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų , Lietuvos matematikos rinkinys: T 41 (2001)
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