On intuitionistic branching tense logic with weak induction

Romas Alonderis

doi:10.15388/LMD.1998.37921

Straipsniai

Romas Alonderis

Institute of Mathematics and Informatics

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), p. 295–301 . doi:10.15388/LMD.1998.37921.

Atsisiųsti citatas

Anotacija

Santraukos nėra.

PDF

Nuorodos

Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) straipsniai

Romas Alonderis, Haroldas Giedra, Įrodymo ciklų metodas laiko logikai , Lietuvos matematikos rinkinys: T. 60 (2019): A serija
Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T. 56 (2015): A serija
Haroldas Giedra, Romas Alonderis, Koreliatyvių žinių logikos taikymas kvantinėje mechanikoje , Lietuvos matematikos rinkinys: T. 59 (2018): A serija
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinės sistemos PTL logikai , Lietuvos matematikos rinkinys: T. 54 (2013): A serija
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T. 52 (2011)
Romas Alonderis , Propozicinės intuicionistinės logikos sekvencijų įrodymo paieška naudojant klasikinės logikos skaičiavimą , Lietuvos matematikos rinkinys: T. 48 (2008)
Romas Alonderis, Efektyvesnė laiko logikos sekvencijų įrodymo paieška , Lietuvos matematikos rinkinys: T. 63 (2022): A serija
Romas Alonderis, Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai , Lietuvos matematikos rinkinys: T. 53 (2012): A serija
Romas Alonderis, Brodskio kodavimo metodas teiginių logikai , Lietuvos matematikos rinkinys: T. 58 (2017): A serija
Romas Alonderis, Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais , Lietuvos matematikos rinkinys: T. 52 (2011)

1 2 > >>