Shengyang Zhong

Available identifiers

zbMath Open zhong.shengyangMaRDI QIDQ472732

List of research outcomes

Publication	Date of Publication	Type
Birkhoff-von Neumann quantum logic as an assertion language for quantum programs	2025-01-10	Paper
Quantum states: an analysis via the orthogonality relation	2024-01-19	Paper
Quantum entanglement: an analysis via the orthogonality relation	2023-08-09	Paper
A general relational semantics of propositional logic: axiomatization	2022-06-24	Paper
On the modal logic of the non-orthogonality relation between quantum states	2019-01-18	Paper
Correspondence between Kripke frames and projective geometries	2018-04-04	Paper
Categorical equivalence between orthomodular dynamic algebras and complete orthomodular lattices	2018-02-05	Paper
Duality for the logic of quantum actions	2015-09-15	Paper
PLQP \& Company: decidable logics for quantum algorithms	2014-11-19	Paper
Quantum Probabilistic Dyadic Second-Order Logic	2013-09-17	Paper

Research outcomes over time

This page was built for person: Shengyang Zhong