Propozicinės intuicionistinės logikos sekvencijų įrodymo paieška naudojant klasikinės logikos skaičiavimą
Straipsniai
Romas Alonderis
Institute of Mathematics and Informatics
Publikuota 2008-12-21
https://doi.org/10.15388/LMR.2008.18105
PDF

Reikšminiai žodžiai

Glivenko teorema
klasikinis propozicinis sekvencinis skaičiavimas
intuicionistinis propozicinis sekvencinis skaičiavimas

Kaip cituoti

Alonderis R. (2008) „Propozicinės intuicionistinės logikos sekvencijų įrodymo paieška naudojant klasikinės logikos skaičiavimą“, Lietuvos matematikos rinkinys, 48(proc. LMS), p. 256–262. doi: 10.15388/LMR.2008.18105.

Santrauka

Straipsnyje yra apibrėžtos primariškai ir alfa-primariškai redukuojamų propozicinės intuicionistinės logikos sekvencijų klasės. Parodoma kaip nustatyti šių sekvencijų įrodomumą intuicionistinės logikos skaičiavime naudojant efektyvesnį klasikinės logikos skaičiavimą.  

PDF
Kūrybinių bendrijų licencija

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

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.