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), pp. 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

Atsisiuntimai

Nėra atsisiuntimų.