Miroslav Kolarík

15 papers Journal 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Induced Orthogonality in Semilattices with 0 and in Pseudocomplemented Lattices and Posets.
Order
Ivan Chajda, Miroslav Kolarík, Helmut Länger
2023 J jnl
Orthomodular and Skew Orthomodular Posets.
Symmetry
Ivan Chajda, Miroslav Kolarík, Helmut Länger
2021 J jnl
Extensions of posets with an antitone involution to residuated structures.
Fuzzy Sets Syst.
Ivan Chajda, Miroslav Kolarík, Helmut Länger
2019 J jnl
Evolution of objects and concepts.
Soft Comput.
Ivan Chajda, Miroslav Kolarík, Jan Paseka
2018 J jnl
Reduced axioms for the propositional logics induced by basic algebras.
Soft Comput.
Ivan Chajda, Miroslav Kolarík
2018 J jnl
ToTem: a tool for variant calling pipeline optimization.
BMC Bioinform.
Nikola Tom, Ondrej Tom, Jitka Malcikova, Sarka Pavlova, Blanka Kubesova, Tobias Rausch, Miroslav Kolarík, Vladimir Benes, Vojtech Bystrý, Sarka Pospisilova
2015 J jnl
On some properties of directoids.
Soft Comput.
Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli
2014 J jnl
Every Skew Effect Algebra can be Extended into a Total Algebra.
J. Multiple Valued Log. Soft Comput.
Ivan Chajda, Miroslav Kolarík
2014 J jnl
Lexicographic product vs ℚ-perfect and ℍ-perfect pseudo effect algebras.
Soft Comput.
Anatolij Dvurecenskij, Miroslav Kolarík
2013 J jnl
Pseudo Basic Algebras.
J. Multiple Valued Log. Soft Comput.
Ivan Chajda, Miroslav Kolarík, Jan Krnávek
2012 J jnl
Very true operators in effect algebras.
Soft Comput.
Ivan Chajda, Miroslav Kolarík
2011 J jnl
On Double Basic Algebras and Pseudo-effect Algebras.
Order
Ivan Chajda, Miroslav Kolarík, Jan Kühr
2011 J jnl
Polynomial permutations on bounded commutative directoids with an antitone involution.
Soft Comput.
Ivan Chajda, Miroslav Kolarík, Helmut Länger
2009 J jnl
Independence of axiom system of basic algebras.
Soft Comput.
Ivan Chajda, Miroslav Kolarík
2008 J jnl
Nearlattices.
Discret. Math.
Ivan Chajda, Miroslav Kolarík