| Title | Sequent calculus for propositional likelihood logic |
|---|---|
| Translation of Title | Sekvencinis skaičiavimas propozicinei tikėtinumo logikai. |
| Authors | Alonderis, Romas |
| DOI | 10.15388/LMR.2006.30714 |
| Full Text |
|
| Is Part of | Lietuvos matematikos rinkinys. 2006, T. 46, spec, Nr, p. 225-231.. ISSN 0132-2818 |
| Type | Journal article |
| Language | English |
| Publication date | 2006 |
| CC license |
|