Relation between classical and intuitionistic sequent calculi of temporal logic

Romas Alonderis

doi:10.15388/LMR.2001.34620

Straipsniai

Romas Alonderis

Institute of Mathematics and Informatics

Publikuota 2001-12-17

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

PDF (anglų)

##submission.howToCite##

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

##submission.howToCite.downloadCitation##

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 (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 > >>