Discrete Markov process interpretation of propositional logic | IEEE Conference Publication | IEEE Xplore