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 (anglų)

##submission.howToCite##

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.

##submission.howToCite.downloadCitation##

Santrauka

Santraukos nėra.

PDF (anglų)

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

Atsisiuntimai

Nėra atsisiuntimų.

##plugins.generic.recommendByAuthor.heading##

Romas Alonderis, Haroldas Giedra, Įrodymo ciklų metodas laiko logikai , Lietuvos matematikos rinkinys: T 60 (2019): 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, Aida Pliuškevičienė, Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T 56 (2015): 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 > >>