Miroslav Kolarík

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 6

Top Topics

Propositional Logic

Classical First Order Logic

Partially Ordered Sets

Algebraic Structures

Top Venues

J. Multiple Valued Log. Soft Comput.

Fuzzy Sets Syst.

Publications

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