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 darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.