Multisukcedentinis sekvencinis skaičiavimas intuicionistinei epsiteminei logikai
Straipsnyje yra pateiktas daugiasukcedentinis sekvencinis skaičiavimas intuicionistinei episteminei logikai. Įrodytas struktūrinių ir pjūvio taisyklių leistinumas šiame skaičivime. Taip pat įrodytas šio skaičiavimo bei tradicinio intuicionistinio skaičiavimo ekvivalentumas intuicionistinių sekvencijų atžvilgiu.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.