On residuation in paraorthomodular lattices by Chajda, I., Fazio, D.

Get full text

A Note on Orthomodular Lattices by Bonzio, S., Chajda, I.

Get full text

Nearlattices by Chajda, I., Kolařík, M.

Get full text

The Propositional Logic Induced by Means of Basic Algebras by Chajda, I.

Get full text

On some properties of directoids by Chajda, I., Gil-Férez, J., Giuntini, R., Kolařík, M., Ledda, A., Paoli, F.

Get full text

A note on intervals of residuated ℓ -groupoids by Chajda, I., Kühr, J.

Get full text

Skew residuated lattices by Chajda, I., Krňávek, J.

Get full text

On Algebraic Approach in Quadratic Systems by Mencinger, Matej

Get full text

A note on intervals of residuated -groupoids by Chajda, I., Kühr, J.

Get full text

On schemes for congruence distributivity by Chajda, I., Halaš, R.

Get full text

Tense Operators and Dynamic De Morgan Algebras by Chajda, I., Paseka, J.

Request full text

Tense Operators on Basic Algebras by Botur, M., Chajda, I., Halaš, R., Kolařík, M.

Get full text

Every effect algebra can be made into a total algebra by Chajda, I., Halaš, R., Kühr, J.

Get full text

On the role of logical connectives for primality and functional completeness of algebras of logics by Chajda, I., Halaš, R., Rosenberg, I.G.

Get full text

A Basic Algebra Is an MV-Algebra If and Only If It Is a BCC-Algebra by Chajda, I., Halaš, R.

Get full text

An Implication in Orthologic by Chajda, I., Halaš, R.

Get full text

2-Normalization of lattices by Chajda, I., Cheng, W., Wismath, S. L.

Get full text

BCK-Algebras and Related Algebraic Systems by Chajda, Ivan, Jun, Young Bae, Kim, Hee Sik, Roh, Eun Hwan, Zhan, Jianming, Iorgulescu, Afrodita

Get full text

Implication in MV-algebras by Chajda, I., Halaš, R., Kühr, J.

Get full text

Normally presented varieties by Chajda, I.

Get full text