Jan Kühr

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 5

Top Topics

Boolean Algebra

Rough Approximations

Spatial Reasoning

Top Venues

Fuzzy Sets Syst.

J. Multiple Valued Log. Soft Comput.

Publications

Jan Kühr, Jan Paseka
Fleischer po-semigroups and quantum B-algebras. ISMVL (2020)
Petr Emanovský, Jan Kühr
Some properties of pseudo-BCK- and pseudo-BCI-algebras. Fuzzy Sets Syst. 339 (2018)
Petr Emanovský, Jan Kühr
On special elements and pseudocomplementation in lattices with antitone involutions. Soft Comput. 22 (14) (2018)
Jan Krnávek, Jan Kühr
On non-associative generalizations of MV-algebras and lattice-ordered commutative loops. Fuzzy Sets Syst. 289 (2016)
Jan Krnávek, Jan Kühr
A note on derivations on basic algebras. Soft Comput. 19 (7) (2015)
Michal Botur, Jan Kühr
On (finite) distributive lattices with antitone involutions. Soft Comput. 18 (6) (2014)
Ivan Chajda, Jan Kühr
Ideals and congruences of basic algebras. Soft Comput. 17 (3) (2013)
Lavinia Corina Ciungu, Jan Kühr
New Probabilistic Model for Pseudo-BCK Algebras and Pseudo-hoops. J. Multiple Valued Log. Soft Comput. 20 (3-4) (2013)
Jan Kühr, Michal Botur
On (finite) distributive lattices with antitone involutions. TACL (2013)
Michal Botur, Radomír Halas, Jan Kühr
States on commutative basic algebras. Fuzzy Sets Syst. 187 (1) (2012)
Ivan Chajda, Miroslav Kolarík, Jan Kühr
On Double Basic Algebras and Pseudo-effect Algebras. Order 28 (3) (2011)
Jan Kühr
Boolean and Central Elements and Cantor-Bernstein Theorem in Bounded Pseudo-BCK-Algebras? J. Multiple Valued Log. Soft Comput. 16 (3-5) (2010)
Ivan Chajda, Jan Kühr
-groupoids. Fuzzy Sets Syst. 160 (16) (2009)
Anatolij Dvurecenskij, Jan Kühr
On the structure of linearly ordered pseudo-BCK-algebras. Arch. Math. Log. 48 (8) (2009)
Jan Kühr, Daniele Mundici
De Finetti theorem and Borel states in [0, 1]-valued algebraic logic. Int. J. Approx. Reason. 46 (3) (2007)
Jan Kühr
On a Generalization of Pseudo MV-Algebras Quasi-matrix Logic. J. Multiple Valued Log. Soft Comput. 12 (5-6) (2006)