Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui
Straipsniai
Romas Alonderis
Institute of Mathematics and Informatics
Publikuota 2009-12-20
https://doi.org/10.15388/LMR.2009.42
PDF

Reikšminiai žodžiai

sekvencinis skaičiavimas
ciklinių taisyklių specializacija

Kaip cituoti

Alonderis R. (2009) „Ciklinės neigimo antecedente taisyklės specializacija intuicionistinės propozicinės logikos fragmento sekveciniam skaičiavimui“, Lietuvos matematikos rinkinys, 50(proc. LMS), p. 235–240. doi: 10.15388/LMR.2009.42.

Santrauka

Straipsnyje yra pateiktas būdas kaip galima išsprėsti ciklinės neigimo antecedente taisyklės specializacijos problema intuicionistinės propozicinės logikos fragmento be neigiamos implikacijos sekvenciniam skaiciavimui.

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.