5 found
Order:
  1.  39
    Correspondence Between Kripke Frames and Projective Geometries.Shengyang Zhong - 2018 - Studia Logica 106 (1):167-189.
    In this paper we show that some orthogeometries, i.e. projective geometries each defined using a ternary collinearity relation and equipped with a binary orthogonality relation, which are extensively studied in mathematics and quantum theory, correspond to Kripke frames, each defined using a binary relation, satisfying a few conditions. To be precise, we will define four special kinds of Kripke frames, namely, geometric frames, irreducible geometric frames, complete geometric frames and quantum Kripke frames; and we will show that they correspond to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  36
    Duality for the Logic of Quantum Actions.Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong - 2015 - Studia Logica 103 (4):781-805.
    In this paper we show a duality between two approaches to represent quantum structures abstractly and to model the logic and dynamics therein. One approach puts forward a “quantum dynamic frame” :2267–2282, 2005), a labelled transition system whose transition relations are intended to represent projections and unitaries on a Hilbert space. The other approach considers a “Piron lattice”, which characterizes the algebra of closed linear subspaces of a Hilbert space. We define categories of these two sorts of structures and show (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  12
    Quantum States: An Analysis Via the Orthogonality Relation.Shengyang Zhong - 2021 - Synthese 199 (5-6):15015-15042.
    From the Hilbert space formalism we note that five simple conditions are satisfied by the orthogonality relation between the states of a quantum system. We argue, by proving a mathematical theorem, that they capture the essentials of this relation. Based on this, we investigate the rationale behind these conditions in the form of six physical hypotheses. Along the way, we reveal an implicit theoretical assumption in theories of physics and prove a theorem which formalizes the idea that the Superposition Principle (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  2
    A General Relational Semantics of Propositional Logic: Axiomatization.Shengyang Zhong - 2021 - In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 82-99.
    In the chapter on quantum logic in Volume 6 of Handbook of Philosophical Logic, Dalla Chiara and Giuntini make an interesting observation that there is a unified relational semantics underlying both the {¬,∧}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\{ {\lnot }, {\wedge } \}$$\end{document}-fragment of intuitionistic logic and ortho-logic. In this paper, we contribute to a systematic investigation of this relational semantics by providing an axiomatization of its logic.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  11
    On the Modal Logic of the Non-Orthogonality Relation Between Quantum States.Shengyang Zhong - 2018 - Journal of Logic, Language and Information 27 (2):157-173.
    It is well known that the non-orthogonality relation between the states of a quantum system is reflexive and symmetric, and the modal logic \ is sound and complete with respect to the class of sets each equipped with a reflexive and symmetric binary relation. In this paper, we consider two properties of the non-orthogonality relation: Separation and Superposition. We find sound and complete modal axiomatizations for the classes of sets each equipped with a reflexive and symmetric relation that satisfies each (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark