Darbe yra pateikiamas klasikinis sekvencinis skaičiavimas propozicinei tikėtinumo logikai. Įrodoma, kad šiame skaičiavime yra leistinos struktūrinės bei pjūvio taisyklės. Taip pat įrodomi pateiktojo skaičiavimo korektiškumas bei pilnumas duotos semantikos atžvilgiu.
Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.