activity
20042026
most citedQuantum logic as motivated by quantum computing

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2026

Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem

Nick Bezhanishvili, Jim de Groot, Lawrence S. Moss

We investigate a modal extension of the infinitary classical logic with countable meets and joins, formulated with an eye toward measure-theoretic work in dynamical systems and in…

math.LO2004★ 1 cited

Quantum logic as motivated by quantum computing

J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss +1

We explore a connection between quantum logic and quantum computing.