Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų
Straipsniai
Romas Alonderis
Institute of Mathematics and Informatics image/svg+xml
Publikuota 2001-12-17
https://doi.org/10.15388/LMR.2001.34620
PDF

Kaip cituoti

Alonderis, R. (2001) „Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų“, Lietuvos matematikos rinkinys, 41(spec.), p. 403–407. doi:10.15388/LMR.2001.34620.
T. 41 (2001)

Ryšys tarp klasikinių ir intuicionistinių laiko logikos sekvencinių skaičiavimų

Anotacija

Darbe nagrinėjamas ryšys tarp intuicionistinio ir klasikinio laiko logikos su laiko tarpsniais sekvencinių skaičiavimų LB ir LBJ. Šis ryšys yra nusakomas Glivenko klasėmis. Nurodomos sąlygos, kurias turi tenkinti kiekviena Glivenko ir visiškai Glivenko cr-klasė.

PDF

Nuorodos

Creative Commons License

Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) straipsniai

1 2 > >>