1. Maximum Likelihood Estimator of Quantum Probabilities;International Journal of Theoretical Physics;2023-10-06
2. Kalmbach implication in orthomodular posets;2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL);2023-05
3. Tense Logic Based on Finite Orthomodular Posets;International Journal of Theoretical Physics;2023-04-05
4. Orthosystems of submodules of a module;Communications in Algebra;2023-01-11
5. Formula Normalizations in Verification;Computer Aided Verification;2023