Sequent calculus for propositional likelihood logic
Articles
Romas Alonderis
Institute of Mathematics and Informatics
Published 2023-09-21
https://doi.org/10.15388/LMR.2006.30714
PDF

How to Cite

Alonderis, R. (2023) “Sequent calculus for propositional likelihood logic”, Lietuvos matematikos rinkinys, 46(spec.), pp. 225–231. doi:10.15388/LMR.2006.30714.