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