•  43
    Quantum logic and the classical propositional calculus
    Journal of Symbolic Logic 52 (3): 834-841. 1987.
    In much the same way that it is possible to construct a model of hyperbolic geometry in the Euclidean plane, it is possible to model quantum logic within the classical propositional calculus
  •  47
    Abacus logic: The lattice of quantum propositions as the poset of a theory
    Journal of Symbolic Logic 59 (2): 501-515. 1994.
    With a certain graphic interpretation in mind, we say that a function whose value at every point in its domain is a nonempty set of real numbers is an Abacus. It is shown that to every collection C of abaci there corresponds a logic, called an abacus logic, i.e., a certain set of propositions partially ordered by generalized implication. It is also shown that to every collection C of abaci there corresponds a theory JC in a classical propositional calculus such that the abacus logic determined b…Read more