Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
1986.
Measures and Hilbert Lattices.
p.
183.
Pavičić, M.
1992.
Bibliography on quantum logics and related structures.
International Journal of Theoretical Physics,
Vol. 31,
Issue. 3,
p.
373.
Nishimura, Hirokazu
1994.
Proof theory for minimal quantum logic I.
International Journal of Theoretical Physics,
Vol. 33,
Issue. 1,
p.
103.
Haviar, M.
Konôpka, P.
Priestley, H. A.
and
Wegener, C. B.
1997.
Finitely generated free modular ortholattices. I.
International Journal of Theoretical Physics,
Vol. 36,
Issue. 12,
p.
2639.
Haviar, M.
Konôpka, P.
and
Wegener, C. B.
1997.
Finitely generated free modular ortholattices. II.
International Journal of Theoretical Physics,
Vol. 36,
Issue. 12,
p.
2661.
Riečanová, Zdenka
1998.
Order-topological separable complete modular ortholattices admit order continuous faithful valuations.
Proceedings of the American Mathematical Society,
Vol. 126,
Issue. 1,
p.
231.
Bruns, Gunter
and
Harding, John
2000.
Current Research in Operational Quantum Logic.
p.
37.
Harding, John
Walker, Carol
and
Walker, Elbert
2010.
The variety generated by the truth value algebra of type-2 fuzzy sets.
Fuzzy Sets and Systems,
Vol. 161,
Issue. 5,
p.
735.
Gabriëls, Jeannine J.M.
and
Navara, Mirko
2013.
Computer proof of monotonicity of operations on orthomodular lattices.
Information Sciences,
Vol. 236,
Issue. ,
p.
205.
Santocanale, Luigi
and
Wehrung, Friedrich
2014.
The extended permutohedron on a transitive binary relation.
European Journal of Combinatorics,
Vol. 42,
Issue. ,
p.
179.
Gagola, Stephen M.
Gabriëls, Jeannine J. M.
and
Navara, Mirko
2015.
Weaker forms of associativity in orthomodular lattices.
Algebra universalis,
Vol. 73,
Issue. 3-4,
p.
249.
2016.
The Truth Value Algebra of Type-2 Fuzzy Sets.
p.
183.
Gabriëls, Jeannine J. M.
2017.
Conditional associativity in orthomodular lattices.
Mathematica Slovaca,
Vol. 67,
Issue. 3,
p.
573.
Fussner, Wesley
and
St. John, Gavin
2021.
Negative Translations of Orthomodular Lattices and Their Logic.
Electronic Proceedings in Theoretical Computer Science,
Vol. 343,
Issue. ,
p.
37.
Guilloud, Simon
and
Kunčak, Viktor
2022.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 13244,
Issue. ,
p.
196.
Harding, J.
and
Wang, Z.
2022.
Financial Econometrics: Bayesian Analysis, Quantum Uncertainty, and Related Topics.
Vol. 427,
Issue. ,
p.
85.
Guilloud, Simon
Bucev, Mario
Milovančević, Dragana
and
Kunčak, Viktor
2023.
Computer Aided Verification.
Vol. 13966,
Issue. ,
p.
398.
Guilloud, Simon
and
Kunčak, Viktor
2024.
Orthologic with Axioms.
Proceedings of the ACM on Programming Languages,
Vol. 8,
Issue. POPL,
p.
1150.
Guilloud, Simon
Gambhir, Sankalp
and
Kunčak, Viktor
2024.
Verification, Model Checking, and Abstract Interpretation.
Vol. 14499,
Issue. ,
p.
235.