Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Some Remarks on Counting Propositional Logic
Melissa Antonelli
Counting propositional logic was recently introduced in relation to randomized computation and shown able to logically characterize the full counting hierarchy. In this paper we ai…
cs.LO2022
Curry and Howard Meet Borel
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
We show that an intuitionistic version of counting propositional logic corresponds, in the sense of Curry and Howard, to an expressive type system for the probabilistic event lambd…