Betting boolean-style: a framework for trading in securities based on logical formulas