Publications
Another look on tense and related operators
M. Botur, J. Paseka, R. Smolka
Algebra universalis, to appear
Quantum logics that are symmetric-difference-closed
D. Burešová, P. Pták
International Journal of Theoretical Physics, 60 (2021) 3919-3926
article tag
Locally finite orthomodular lattices
D. Burešová, P. Pták
Mathematica Slovaca, to appear
arXiv link
An algebraic analysis of implication in non-distributive logics
I. Chajda, K. Emir, D. Fazio, H. Länger, A. Ledda, J. Paseka
Journal of Logic and Computation (2020)
article tag
Algebraic properties of paraorthomodular posets
I. Chajda, K. Emir, D. Fazio, H. Länger, A. Ledda, J. Paseka
Logic Journal of the IGPL (2021)
article tag
Sublattices and Δ-blocks of orthomodular posets
I. Chajda, H. Länger
Journal of Logic and Computation 30 (2020), 1401-1423
article tag
The logic induced by effect algebras
I. Chajda, R. Halaš, H. Länger
Soft Computing 24 (2020), 14275-14286
article tag
Extensions of posets with an antitone involution to residuated structures
I. Chajda, M. Kolařík, H. Länger
Fuzzy Sets and Systems 425 (2021), 169-175
article tag
Orthomodular and skew orthomodular posets
I. Chajda, M. Kolařík, H. Länger
Symmetry 15 (2023), 810-823
article tag
Consistent posets
I. Chajda, H. Länger
Soft Computing 25 (2021), 9765-9772
article tag
Filters and congruences in sectionally pseudocomplemented lattices and posets
I. Chajda, H. Länger
Soft Computing 25 (2021), 8827-8837
article tag
Sectionally pseudocomplemented posets
I. Chajda, H. Länger, J. Paseka
Order 38 (2021), 527-546
article tag
Sheffer operation in relational systems
I. Chajda, H. Länger
Soft Computing 26 (2022), 89-97
article tag
The logic of orthomodular posets of finite height
I. Chajda, H. Länger
Logic Journal of the IGPL 30 (2022), 143-154
article tag
Logical and algebraic properties of generalized orthomodular posets
I. Chajda, H. Länger
Mathematica Slovaca 72 (2022), 275-286
article tag
Implication in finite posets with pseudocomplemented sections
I. Chajda, H. Länger
Soft Computing 26 (2022), 5945-5953
article tag
Residuation in twist products and pseudo-Kleene posets
I. Chajda, H. Länger
Math. Bohemica 147 (2022), 369-383. article tag
Integration in semirings
I. Chajda, H. Länger
Asian-European
J. Math. 15 (2022), 2250222 (11 pp.) article tag
Kleene posets and pseudo-Kleene posets
I. Chajda, H. Länger
Miskolc Math. Notes Vol. 23 No. 1 (2022), 155-174. article tag
Conditions forcing the existence of relative complements in lattices and posets
I. Chajda, H. Länger
Math. Slovaca 73 (2023),
15-24. article tag
Extensions and congruences of partial lattices
I. Chajda, H. Länger
Math. Slovaca 73 (2023), 289-304. article tag
Algebraic properties of paraorthomodular posets
I. Chajda, D. Fazio, H. Länger, A. Ledda, J.
Paseka
Logic J. IGPL
30 (2022), 840-869. article tag
Constructions of Kleene lattices
I. Chajda, H. Länger, J. Paseka
Proc. 2022 IEEE 52th Internat. Symp. Multiple-Valued Logic, Springer (2022), 88-93
article tag
n-dimensional observables on k-perfect MV-algebras and k-perfect effect algebras. I. Characteristic points
A. Dvurečenskij, D. Lachman
Fuzzy Sets and Systems 442 (2022), 1-16
article tag
n-dimensional observables on k-perfect MV-algebras and k-perfect effect algebras. II. One-to-one correspondence
A. Dvurečenskij, D. Lachman
Fuzzy Sets and Systems 442 (2022), 17-42
article tag
Linear orthogonality spaces as a new approach to quantum logic
K. Emir, D. Kruml, J. Paseka, T. Vetterlein
Proc. 2021 IEEE 51th Internat. Symp. Multiple-Valued Logic, Springer (2021), 33-38
article tag
A Characterisation of Orthomodular Spaces by Sasaki Maps
B. Lindenhovius, T. Vetterlein
Int J Theor Phys 62, 59 (2023)
article tag
Orthosystems of submodules of a module
M. Matoušek, P. Pták,
Communications in Algebra, to appear
A geometric approach to Wigner-type theorems
M. Pankov, T. Vetterlein
Bull. London Math. Soc. 53 (2021), 1653-1662
article tag
Categories of orthogonality spaces
J. Paseka, T. Vetterlein
J. Pure Appl. Algebra 226 (2022), 106859, 22 p.
article tag
Normal orthogonality spaces
J. Paseka, T. Vetterlein
J. Math. Anal. Appl. 507 (2022), 125730, 17 p.
article tag
Gradual transitivity in orthogonality spaces of finite rank
T. Vetterlein
Aequat. Math. 95 (2021), 483-503
article tag
Transitivity and homogeneity of orthosets and inner-product spaces over subfields of R
T. Vetterlein
Geom. Dedicata 216:36 (2022), 24 p.
article tag