◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Miroslav Kolavr'ik

4 papers hereh-index 18 citations5 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author4

Across the 4 of 4 papers where every author was matched, so the position is known.

fields
  • math.RA2
  • math.LO1
  • math.QA1

identity via Semantic Scholar / OpenAlex

activity
20192026
most citedOrthomodular and generalized orthomodular posets

1 citations · 1 across the 4 of their papers we have counts for

collaborators

4 papers

math.RA2026

Lattices and semilattices derived from commutative rings of characteristic 2 satisfying the identity x2n≈x

Ivan Chajda, Miroslav Kolařík, Helmut Länger

We prove that a commutative ring R=(R,+,⋅) of characteristic 2 satisfying the identity x2n≈x together with the binary relation ≤ on R defined by…

math.LO2025

Operators Max L and Min U and duals of Boolean posets

Ivan Chajda, Miroslav Kolařík, Helmut Länger

When working with posets which are not necessarily lattices, one has a lack of lattice operations which causes problems in algebraic constructions. This is the reason why we use th…

math.QA2022★ 1 cited

Orthomodular and generalized orthomodular posets

Ivan Chajda, Miroslav Kolařík, Helmut Länger

We prove that the 18-element non-lattice orthomodular poset depicted in the paper is the smallest one and unique up to isomorphism. Since not every Boolean poset is orthomodular, w…

math.RA2019

Varieties corresponding to classes of complemented posets

Ivan Chajda, Miroslav Kolařík, Helmut Länger

As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.