Thirty seven years ago, Richard Greechie and Stanley Gudder wrote a paper entitled Is a Quantum Logic a Logic? [1] in which they strengthen a previous negative result of Josef Jauch and Constantin Piron. [2] “Jauch and Piron have considered a possibility that a quantum propositional system is an infinite valued logic. . . and shown that standard propositional systems (that is, ones that are iso...

ACVF is the theory of non-trivially valued algebraically closed valued f ields. This theory is the model companion of the theory of valued fields. ACVF does not have elimination of imaginaries in the home sort (the valued field sort). Nevertheless, Haskell, Hrushovski, and Macpherson in [2] were able to find a collection of “geometric sorts” in which elimination of imaginaries holds. Let K be a...

Thirty-seven years ago, Richard Greechie and Stanley Gudder wrote a paper entitled Is a Quantum Logic a Logic? [Greechie and Gudder, 1971] in which they strengthen a previous negative result of Josef Jauch and Constantin Piron. [Jauch and Piron, 1970] “Jauch and Piron have considered a possibility that a quantum propositional system is an infinite valued logic. . . and shown that standard propo...

Multi-Valued Symbolic Model-Checking: Fairness, Counter-Examples, Running Time Arie Gurfinkel Master of Science Graduate Department of Computer Science University of Toronto 2003 Multi-valued model-checking is an effective technique for reasoning about systems with incomplete or inconsistent information. In particular, it is well suited for reasoning about abstract, partial, and feature-based s...