Automatization of proof-search for a fragment of the first-order linear tense logic

Romas Alonderis

doi:10.15388/LMR.2003.32469

Straipsniai

Romas Alonderis

Institute of Mathematics and Informatics

Publikuota 2003-12-22

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

PDF

Kaip cituoti

Alonderis, R. (2003) „Įrodymo paieškos automatizacija pirmos eilės, tiesinio laiko logikos fragmentui“, Lietuvos matematikos rinkinys, 43(spec.), p. 423–428. doi:10.15388/LMR.2003.32469.

Atsisiųsti citatas

Anotacija

Naudojant Pascalio programavimo kalbą buvo parašyta programa, realizuojanti krodymo paieškos procedūrą, skirtą vienam pirmos eilės tiesinio laiko logikos išsprendžiamam fragmentui. Darbe yra aptariami kai kurie šios programos veikimo principai, įvertinamas jos sudėtingumas.

PDF

Nuorodos

Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) straipsniai

Romas Alonderis, Haroldas Giedra, Įrodymo ciklų metodas laiko logikai , Lietuvos matematikos rinkinys: T. 60 (2019): 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
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, 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 > >>