Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

International Journal of Theoretical Physics

Symmetries in quantum logics

Sylvia Pulmannová

Published Sep 1, 1977• 7 citations
Publisher
DOI
10.1007/bf01812226

Related papers

Automorphisms and symmetries of quantum logics

Věra Trnková

International Journal of Theoretical Physics•Oct 1, 1989•7 citations

Symmetry and Topology in Quantum Logic

Alexander Wilce

International Journal of Theoretical Physics•Dec 1, 2005•11 citations

Errata: Automorphisms and symmetries of quantum logics

V ra Trnkov�

International Journal of Theoretical Physics•Sep 1, 1990•1 citation

Automorphisms of orthomodular lattices and symmetries of quantum logics

V ra Trnkov�

Foundations of Physics•Jul 1, 1991•3 citations

Symmetry-protected adiabatic quantum transistors

Dominic J. Williamson, Stephen D. Bartlett

Adiabatic quantum transistors (AQT) allow quantum logic gates to be performed by applying a large field to a quantum many-body system prepared in its ground state, without the need for local control. The basic operation of such a device can be viewed as driving a spin chain from a symmetry-protected (SP) phase to a trivial phase. This perspective offers an avenue to generalize the AQT and to design several improvements. The performance of quantum logic gates is shown to depend only on universal symmetry properties of a SP phase rather than any fine tuning of the Hamiltonian, and it is possible to implement a universal set of logic gates in this way by combining several different types of SP matter. Such SP AQTs are argued to be robust to a range of relevant noise processes.

arXiv:1408.3415•New Journal of Physics•May 14, 2015•10 citations

Symmetric Paraconsistent Quantum Logic

Norihiro Kamide

In this study, a new logic called symmetric paracon-sistent quantum logic (SPQL) is introduced as a dual monose-quent system, which is a restricted and indexed sequent calculus. The logic SPQL is regarded as an extension and generalization of Dalla Chiara and Giuntini's paraconsistent quantum logic (PQL). Theorems for syntactically and semantically embedding SPQL into PQL and vice versa are proved. Additionally, cut-elimination, symmetry-elimination, contraposition-elimination, and algebraic-completeness theorems are proved for SPOL.

IEEE International Symposium on Multiple-Valued Logic (ISMVL)•May 1, 2021•2 citations
Adiabatic quantum transistors (AQT) allow quantum logic gates to be performed by applying a large field to a quantum many-body system prepared in its ground state, without the need for local control. The basic operation of such a device can be viewed as driving a spin chain from a symmetry-protected (SP) phase to a trivial phase. This perspective offers an avenue to generalize the AQT and to design several improvements. The performance of quantum logic gates is shown to depend only on universal symmetry properties of a SP phase rather than any fine tuning of the Hamiltonian, and it is possible to implement a universal set of logic gates in this way by combining several different types of SP matter. Such SP AQTs are argued to be robust to a range of relevant noise processes.
In this study, a new logic called symmetric paracon-sistent quantum logic (SPQL) is introduced as a dual monose-quent system, which is a restricted and indexed sequent calculus. The logic SPQL is regarded as an extension and generalization of Dalla Chiara and Giuntini's paraconsistent quantum logic (PQL). Theorems for syntactically and semantically embedding SPQL into PQL and vice versa are proved. Additionally, cut-elimination, symmetry-elimination, contraposition-elimination, and algebraic-completeness theorems are proved for SPOL.