Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus

Romas  Alonderis

doi:10.15388/LMR.2008.18105

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.

ACM
ACS
APA
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver

Atsisiųsti citatą

Endnote/Zotero/Mendeley (RIS)
BibTeX

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ų.

Skaitomiausi šio autoriaus(ų) straipsniai

Romas Alonderis, Sekvencinis skaičiavimas propozicinei tikėtinumo logikai , Lietuvos matematikos rinkinys: T 46 (2006)
Romas Alonderis, Įrodymo paieškos automatizacija pirmos eilės, tiesinio laiko logikos fragmentui , Lietuvos matematikos rinkinys: T 43 (2003)
Romas Alonderis, Pilnumo klasės intuicionistinei pirmos eilės laiko logikai su laiko tarpsniais , Lietuvos matematikos rinkinys: T 45 (2005)
Romas Alonderis, Struktūrinių taisyklių bei pjūvio leistinumas laiko logikos su predikatais = ir > sekvenciniame skaičiavime , Lietuvos matematikos rinkinys: T 42 (2002)
Romas Alonderis, Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų , Lietuvos matematikos rinkinys: T 41 (2001)
Romas Alonderis, Intuicionistinės laiko logikos su laiko tarpais sekvencinio skaičiavimo taisyklių specializacija , Lietuvos matematikos rinkinys: Nr. III (1999)

<< < 1 2