Mureşan, Claudia Subreducts and subvarieties of PBZ *-lattices*. (English) Zbl 07727066 Int. J. Theor. Phys. 62, No. 8, Paper No. 164, 17 p. (2023). MSC: 03G10 08B15 08A30 03G12 PDFBibTeX XMLCite \textit{C. Mureşan}, Int. J. Theor. Phys. 62, No. 8, Paper No. 164, 17 p. (2023; Zbl 07727066) Full Text: DOI arXiv
Chajda, Ivan; Länger, Helmut Tense logic based on finite orthomodular posets. (English) Zbl 07703063 Int. J. Theor. Phys. 62, No. 4, Paper No. 82, 19 p. (2023). MSC: 03Bxx 03Gxx 03-XX PDFBibTeX XMLCite \textit{I. Chajda} and \textit{H. Länger}, Int. J. Theor. Phys. 62, No. 4, Paper No. 82, 19 p. (2023; Zbl 07703063) Full Text: DOI arXiv
Paoli, Francesco; Ledda, Antonio; Spinks, Matthew; Freytes, Hector; Giuntini, Roberto Logics from \(\sqrt{\prime}\) quasi-MV algebras. (English) Zbl 1246.81016 Int. J. Theor. Phys. 50, No. 12, 3882-3902 (2011). Reviewer: Anatolij Dvurečenskij (Bratislava) MSC: 81P10 03G25 PDFBibTeX XMLCite \textit{F. Paoli} et al., Int. J. Theor. Phys. 50, No. 12, 3882--3902 (2011; Zbl 1246.81016) Full Text: DOI
Halaš, Radomír On the variety generated by bounded pseudo-BCK-algebras. (English) Zbl 1204.81013 Int. J. Theor. Phys. 49, No. 12, 3131-3138 (2010). MSC: 81P10 06A11 PDFBibTeX XMLCite \textit{R. Halaš}, Int. J. Theor. Phys. 49, No. 12, 3131--3138 (2010; Zbl 1204.81013) Full Text: DOI
Ledda, Antonio; Sergioli, Giuseppe Towards quantum computational logics. (English) Zbl 1204.81046 Int. J. Theor. Phys. 49, No. 12, 3158-3165 (2010). MSC: 81P68 68Q12 PDFBibTeX XMLCite \textit{A. Ledda} and \textit{G. Sergioli}, Int. J. Theor. Phys. 49, No. 12, 3158--3165 (2010; Zbl 1204.81046) Full Text: DOI Link
Wilczek, Piotr Model-theoretic investigations into consequence operation (Cn) in quantum logics: An algebraic approach. (English) Zbl 1104.81023 Int. J. Theor. Phys. 45, No. 4, 695-705 (2006). MSC: 81P10 81R15 03G12 PDFBibTeX XMLCite \textit{P. Wilczek}, Int. J. Theor. Phys. 45, No. 4, 695--705 (2006; Zbl 1104.81023) Full Text: DOI arXiv
Pavičić, M. Nonordered quantum logic and its YES-NO representation. (English) Zbl 0793.03071 Int. J. Theor. Phys. 32, No. 9, 1481-1505 (1993). Reviewer: Hirokazu Nishimura (Ibaraki) MSC: 03G12 81P10 PDFBibTeX XMLCite \textit{M. Pavičić}, Int. J. Theor. Phys. 32, No. 9, 1481--1505 (1993; Zbl 0793.03071) Full Text: DOI
Pavičić, M. A new axiomatization of unified quantum logic. (English) Zbl 0786.03046 Int. J. Theor. Phys. 31, No. 9, 1753-1766 (1992). MSC: 03G12 81P10 PDFBibTeX XMLCite \textit{M. Pavičić}, Int. J. Theor. Phys. 31, No. 9, 1753--1766 (1992; Zbl 0786.03046) Full Text: DOI
Pavičić, M. Bibliography on quantum logics and related structures. (English) Zbl 0745.03049 Int. J. Theor. Phys. 31, No. 3, 373-461 (1992). MSC: 03G12 00A15 06C15 81P10 PDFBibTeX XMLCite \textit{M. Pavičić}, Int. J. Theor. Phys. 31, No. 3, 373--461 (1992; Zbl 0745.03049) Full Text: DOI
Stachow, E. W. Logical foundation of quantum mechanics. (English) Zbl 0462.03014 Int. J. Theor. Phys. 19, 251-304 (1980). MSC: 03G12 81P10 PDFBibTeX XMLCite \textit{E. W. Stachow}, Int. J. Theor. Phys. 19, 251--304 (1980; Zbl 0462.03014) Full Text: DOI