Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps

Romas Alonderis

doi:10.15388/LMD.1999.35639

Straipsniai

Romas Alonderis

Matematikos ir informatikos institutas

Publikuota 1999-12-17

https://doi.org/10.15388/LMD.1999.35639

PDF

Kaip cituoti

Alonderis, R. (1999) “Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija”, Lietuvos matematikos rinkinys, 39(III), pp. 305–310 . doi:10.15388/LMD.1999.35639.

Atsisiųsti citatą

Santrauka

Straipsnyje nagrinėjama intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo ciklinių taisyklių specializacijos problema. Ciklinė implikacijos antecedentė taisyklė keičiama keliomis kitomis taisyklėmis, dalinai išsprendžiant šios taisyklės cikliškumo problemą. Nurodomos sąlygos, kurioms esant galima atsisakyti visuotinumo kvantoriaus antecedente taisyklės pagrindinės formulės dubliacijos, įrodomų sekvencijų klasei išliekant nepakitusiai.

PDF

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

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, Sekvencinis skaičiavimas teiginių laiko logikai su laiko tarpsniais , Lietuvos matematikos rinkinys: T 52 (2011)

1 2 > >>