Shengyang Zhong

dblp:133/2539 · DBLP profile ↗
← Back
5ranked-venue papers
4as first author
4since 2021 · last 2025
0000-0001-5538-0002ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5 · 4 first-author · 4 since 2021
YearPublicationVenuePosition
2025 Birkhoff-von Neumann quantum logic as an assertion language for quantum programs
Shengyang Zhong
Acta Informatica1
2025 Correction: Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence
Shengyang Zhong
Acta Informatica1
2025 Propositional logic and modal logic - A connection via relational semantics
abstract
Abstract In this paper, by slightly generalizing an observation of Dalla Chiara and Giuntini in their chapter on quantum logic in Handbook of Philosophical Logic, we propose a relational semantics for propositional language with negation and conjunction, which unifies the relational semantics of intuitionistic logic and that of ortho-logic. We study the semantic and syntactic consequence relations and prove the soundness and completeness theorems for five propositional logics: $\textbf{BL}$, $\textbf{PL}$, $\textbf{IL}$, $\textbf{OL}$ and $\textbf{CL}$. Moreover, we prove that they can be translated into the modal logics $\textbf{K}$, $\textbf{T}$, $\textbf{S4}$, $\textbf{KTB}$ and $\textbf{S5}$, respectively, and thus establish a systematic connection between propositional logics and modal logics. The paper ends with a discussion about the possibility and difficulty of incorporating disjunction into our framework.
Shengyang Zhong
J. Log. Comput.1
2021 A General Relational Semantics of Propositional Logic: Axiomatization
Shengyang Zhong
WoLLIC1
2013 Quantum Probabilistic Dyadic Second-Order Logic
Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong
WoLLIC6