„Sequent calculus for propositional likelihood logic /“
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