On decidability of a fragment of intuitionistic predicate logic

Jolanta Kaušilaitė; Regimantas Pliuškevičius

doi:10.15388/LMD.1999.35640

Straipsniai

Jolanta Kaušilaitė

Vilniaus universitetas

Regimantas Pliuškevičius

Matematikos ir informatikos institutas

Publikuota 1999-12-17

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

PDF

Kaip cituoti

Kaušilaitė , J. and Pliuškevičius, R. (1999) “Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą”, Lietuvos matematikos rinkinys, 39(III), pp. 311–316 . doi:10.15388/LMD.1999.35640.

Atsisiųsti citatą

Santrauka

Straipsnyje sukonstruotas beciklis skaičiavimas intuicionistinės kvantorinės logikos fragmentui. Įrodytas sukonstruoto skaičiavimo korektiškumas ir pilnumas. Remiantis tuo įrodytas nagrinėjamo intuicionistinės kvantorinės logikos fragmento išsprendžiamumas.

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, 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
Regimantas Pliuškevičius, Aurimas Paulius Girčys, Prisotinimo metodas bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T 53 (2012): A serija
Regimantas Pliuškevičius, Žymių metodas tiesinei laiko logikai , Lietuvos matematikos rinkinys: T 55 (2014): A serija
Aurimas Paulius Girčys, Regimantas Pliuškevičius, Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo 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)
Julius Andrikonis, Regimantas Pliuškevičius, Dubliavimo eliminavimas modalumo logikoms S5 ir KD45 , Lietuvos matematikos rinkinys: T 52 (2011)
Regimantas Pliuškevičius , Įrodymų baigtinumas minimaliai laiko logikai , Lietuvos matematikos rinkinys: T 50 (2009)
Regimantas Pliuškevičius , Aida Pliuškevičienė, Indeksų ir žymių metodas tiesinei modalumo logikai , Lietuvos matematikos rinkinys: T 50 (2009)
Regimantas Pliuškevičius , Beciklis įrodymų baigtinumo tikrinimas dinaminės logikos fragmentui , Lietuvos matematikos rinkinys: T 48 (2008)

1 2 > >>