Quantum monadic algebras

Abstract

We introduce quantum monadic and quantum cylindric algebras. These are adaptations to the quantum setting of the monadic algebras of Halmos, and cylindric algebras of Henkin, Monk and Tarski, that are used in algebraic treatments of classical and intuitionistic predicate logic. Primary examples in the quantum setting come from von Neumann algebras and subfactors. Here we develop the basic properties of these quantum monadic and cylindric algebras and relate them to quantum predicate logic.

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 16, 2022
Source ID
10.1088/1751-8121/ac845b

Entities

People

  • John Harding

Organizations

  • United States Army

Tags

Fields of Study

  • Mathematics

Readers

  • Marine Propulsion Engineering and Naval Architecture
  • Mathematical Modeling and Probability Theory.
  • Quantum spin resonance or Electron Paramagnetic Resonance spectroscopy.

Technology Areas

  • Quantum Computing