32 citations · 206 across the 50 of their papers we have counts for
54 papers
Exact Exploration
Andreas Blass, Nachum Dershowitz, Yuri Gurevich
Recent analysis of classical algorithms resulted in their axiomatization as transition systems satisfying some simple postulates, and in the formulation of the Abstract State Machi…
On logic and generative AI
Yuri Gurevich, Andreas Blass
A hundred years ago, logic was almost synonymous with foundational studies. The ongoing AI revolution raises many deep foundational problems involving neuroscience, philosophy, com…
What are kets?
Yuri Gurevich, Andreas Blass
According to Dirac's bra-ket notation, in an inner-product space, the inner product of vectors can be viewed as an application of the bra $\langle x|…
Primal logic of information
Yuri Gurevich, Andreas Blass
Primal logic arose in access control; it has a remarkably efficient (linear time) decision procedure for its entailment problem. But primal logic is a general logic of information.…
Software science view on quantum circuit algorithms
Yuri Gurevich, Andreas Blass
We show that, on the abstraction level of quantum circuit diagrams, quantum circuit algorithms belong to the species of interactive sequential algorithms that we studied in earlier…
Wigner's quasidistribution and Dirac's kets
Andreas Blass, Yuri Gurevich, Alexander Volberg
In every state of a quantum particle, Wigner's quasidistribution is the unique quasidistribution on the phase space with the correct marginal distributions for position, momentum,…