A sequent calculus for propositional temporal logic with time gaps

Romas  Alonderis

doi:10.15388/LMR.2011.ml01

Straipsniai

Romas Alonderis

Vilniaus universitetas

Publikuota 2011-12-15

https://doi.org/10.15388/LMR.2011.ml01

PDF

Reikšminiai žodžiai

laiko logika
sekvencinis skaičiavimas
Kripkės semantikos internalizacija

Kaip cituoti

Alonderis, R. (2011) “Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais”, Lietuvos matematikos rinkinys, 52(proc. LMS), pp. 225–230. doi:10.15388/LMR.2011.ml01.

Atsisiųsti citatą

Santrauka

Straipsnyje yra pateiktas sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais. Šis skaičiavimas yra gautas Kripkės semantikos internalizacijos būdu. Šiame skaičiavime leistinos struktūrinės bei pjūvio taisyklės. Visos jo taisyklės yra nepriklausomos nuo konteksto ir apverčiamos. Šis skaičiavimas yra korektiškas ir pilnas.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

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, Žymėtas sekvencinis skaičiavimas propozicinei tiesinio laiko logikai , Lietuvos matematikos rinkinys: T 53 (2012): A serija
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, Brodskio kodavimo metodas teiginių logikai , Lietuvos matematikos rinkinys: T 58 (2017): 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, Efektyvesnė laiko logikos sekvencijų įrodymo paieška , Lietuvos matematikos rinkinys: T 63 (2022): A serija
Romas Alonderis , Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui , Lietuvos matematikos rinkinys: T 50 (2009)

1 2 > >>