X-2014-02: Definability in Quantum Kripke Frames

X-2014-02: Zhong, Shengyang (2014) Definability in Quantum Kripke Frames. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (334kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (523B)


I characterize the first-order definable, bi-orthogonally closed subsets of a quasi-quantum Kripke frame satisfying a reasonable assumption. The techniques are generalization of those in Goldblatt's paper published in 1984. Combining these techniques with Goldblatt's idea, I prove that quantum Kripke frames are not first-order definable in the class of quasi-quantum Kripke frames.

Item Type: Report
Report Nr: X-2014-02
Series Name: Technical Notes (X) Series
Year: 2014
Uncontrolled Keywords: quantum logic, quantum Kripke frames, first-order definability
Subjects: Logic
Depositing User: szhong1
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/691

Actions (login required)

View Item View Item