X-2014-02: Zhong, Shengyang (2014) Definability in Quantum Kripke Frames. [Report]
Preview |
Text (Full Text)
X-2014-02.text.pdf Download (334kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
X-2014-02.abstract.txt Download (523B) |
Abstract
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 |
