Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and >

Romas Alonderis

doi:10.15388/LMR.2002.32977

Straipsniai

Romas Alonderis

Institute of Mathematics and Informatics

Publikuota 2002-12-20

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

PDF (anglų)

##submission.howToCite##

Alonderis, R. (2002) „Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime“, Lietuvos matematikos rinkinys, 42(spec.), p. 461–465. doi:10.15388/LMR.2002.32977.

##submission.howToCite.downloadCitation##

Santrauka

Darbe pateikiamas laiko logikos su laiko tarpsniais bei predikatais ,,lygu`` ir ,,daugiau nei`` sekvencinis skaičiavimas ir nagrinėjama struktūrinių bei pjūvio taisyklių leistinumo šiame skaičiavime problema. Nurodomos priežastys, kodėl pjūvio taisyklė ne visada yra leistina tokio tipo skaičiavimuose.

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