| Publication | Date of Publication | Type |
|---|
| Automated Generation of Arbitrarily Many Kochen-Specker and Other Contextual Sets in Odd Dimensional Hilbert Spaces | 2022-02-16 | Paper |
New class of 4-dim Kochen-Specker sets
Journal of Mathematical Physics | 2015-06-22 | Paper |
Graph approach to quantum systems
Journal of Mathematical Physics | 2015-06-05 | Paper |
Graph approach to quantum systems
Journal of Mathematical Physics | 2015-06-05 | Paper |
Is quantum logic a logic?
(available as arXiv preprint) | 2013-10-04 | Paper |
Probabilistic generation of quantum contextual sets
Physics Letters. A | 2012-12-04 | Paper |
New Kochen-Specker sets in four dimensions
Physics Letters. A | 2012-05-11 | Paper |
Kochen-Specker sets and generalized orthoarguesian equations
Annales Henri Poincaré | 2011-11-04 | Paper |
Parity proofs of the Bell-Kochen-Specker theorem based on the 600-cell
Foundations of Physics | 2011-05-23 | Paper |
Hilbert lattice equations
Annales Henri Poincaré | 2011-02-14 | Paper |
Standard Logics Are Valuation-Nonmonotonic
Journal Of Logic And Computation | 2008-12-22 | Paper |
Quantum logic and quantum computation
(available as arXiv preprint) | 2007-11-27 | Paper |
Kochen Specker vectors
Journal of Physics A: Mathematical and General | 2005-06-09 | Paper |
Kochen–Specker vectors
Journal of Physics A: Mathematical and General | 2005-04-18 | Paper |
Quantum implication algebras
International Journal of Theoretical Physics | 2004-02-03 | Paper |
Equivalencies, identities, symmetric differences, and congruences in orthomodular lattices
International Journal of Theoretical Physics | 2004-02-03 | Paper |
Orthomodular lattices and a quantum algebra.
International Journal of Theoretical Physics | 2003-12-08 | Paper |
Algorithms for Greechie diagrams
International Journal of Theoretical Physics | 2001-03-29 | Paper |
Equations, states, and lattices of infinite-dimensional Hilbert spaces
International Journal of Theoretical Physics | 2001-03-29 | Paper |
scientific article; zbMATH DE number 1394879 (Why is no real title available?)
(available as arXiv preprint) | 2000-04-03 | Paper |
| scientific article; zbMATH DE number 1283787 (Why is no real title available?) | 1999-10-11 | Paper |
Quantum and classical implication algebras with primitive implications
International Journal of Theoretical Physics | 1998-01-01 | Paper |
| scientific article; zbMATH DE number 877753 (Why is no real title available?) | 1996-05-12 | Paper |
A finitely axiomatized formalization of predicate calculus with equality
Notre Dame Journal of Formal Logic | 1996-02-04 | Paper |
Deduction, Ordering, and Operations in Quantum Logic
(available as arXiv preprint) | N/A | Paper |
