Duality of Normally Presented Varieties. - Ivan Chajda; Radek Halas; Alexander Georgievich Pinus; Ivo G. Rosenberg (Int. J. Algebra Comput., 2000)

Abbott Groupoids. - Ivan Chajda; Radomír Halas (J. Multiple Valued Log. Soft Comput., 2004)

Orthomodular semilattices. - Ivan Chajda (Discret. Math., 2007)

Constructions on P-Choice Algebras. - Ivan Chajda; Shelly L. Wismath (J. Multiple Valued Log. Soft Comput., 2007)

Congruence kernels of orthomodular implication algebras. - Ivan Chajda; Radomír Halas; Helmut Länger (Discret. Math., 2008)

Nearlattices. - Ivan Chajda; Miroslav Kolarík (Discret. Math., 2008)

A note on intervals of residuated l-groupoids. - Ivan Chajda; Jan Kühr (Fuzzy Sets Syst., 2009)

Functional Completeness of Weak Logics with the Strict Negation? - Ivan Chajda; Radomír Halas (J. Multiple Valued Log. Soft Comput., 2009)

Double Basic Algebras. - Ivan Chajda (Order, 2009)

Independence of axiom system of basic algebras. - Ivan Chajda; Miroslav Kolarík (Soft Comput., 2009)

On the role of logical connectives for primality and functional completeness of algebras of logics. - Ivan Chajda; Radek Halas; Ivo G. Rosenberg (Inf. Sci., 2010)

Are basic algebras residuated structures? - Michal Botur; Ivan Chajda; Radomír Halas (Soft Comput., 2010)

BCK-Algebras and Related Algebraic Systems. - Young Bae Jun; Ivan Chajda; Hee Sik Kim; Eun Hwan Roh; Jianming Zhan 001; Afrodita Iorgulescu (Int. J. Math. Math. Sci., 2011)

Completeness of Order Algebras? - Ivan Chajda; Radomír Halas; Hajime Machida (J. Multiple Valued Log. Soft Comput., 2011)

On Double Basic Algebras and Pseudo-effect Algebras. - Ivan Chajda; Miroslav Kolarík; Jan Kühr (Order, 2011)

Hedges and successors in basic algebras. - Ivan Chajda (Soft Comput., 2011)

Effect algebras are conditionally residuated structures. - Ivan Chajda; Radomír Halas (Soft Comput., 2011)

Polynomial permutations on bounded commutative directoids with an antitone involution. - Ivan Chajda; Miroslav Kolarík; Helmut Länger (Soft Comput., 2011)

The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras. - Ivan Chajda; Radomír Halas (Inf. Sci., 2012)

Symmetric Differences on Posets with an Antitone Involution. - Ivan Chajda; Helmut Länger (Order, 2012)

Very true operators in effect algebras. - Ivan Chajda; Miroslav Kolarík (Soft Comput., 2012)

A non-associative generalization of effect algebras. - Ivan Chajda; Helmut Länger (Soft Comput., 2012)

Dynamic effect algebras and their representations. - Ivan Chajda; Jan Paseka (Soft Comput., 2012)

Tense Operators and Dynamic De Morgan Algebras. - Ivan Chajda; Jan Paseka (ISMVL, 2013)

Skew residuated lattices. - Ivan Chajda; Jan Krnávek (Fuzzy Sets Syst., 2013)

Pseudo Basic Algebras. - Ivan Chajda; Miroslav Kolarík; Jan Krnávek (J. Multiple Valued Log. Soft Comput., 2013)

A congruence modular variety that is neither congruence distributive nor 3-permutable. - Ivan Chajda (Soft Comput., 2013)

Ideals and congruences of basic algebras. - Ivan Chajda; Jan Kühr (Soft Comput., 2013)

Every Skew Effect Algebra can be Extended into a Total Algebra. - Ivan Chajda; Miroslav Kolarík (J. Multiple Valued Log. Soft Comput., 2014)

An algebraic axiomatization of orthogonal posets. - Ivan Chajda (Soft Comput., 2014)

Filters of implication reducts of basic algebras. - Ivan Chajda (Soft Comput., 2014)

Tense operators in fuzzy logic. - Ivan Chajda; Jan Paseka (Fuzzy Sets Syst., 2015)

On some properties of directoids. - Ivan Chajda; José Gil-Férez; Roberto Giuntini; Miroslav Kolarík; Antonio Ledda; Francesco Paoli (Soft Comput., 2015)

On varieties of basic algebras. - Ivan Chajda; Radomír Halas (Soft Comput., 2015)

Commutative basic algebras and coupled near semirings. - Ivan Chajda; Helmut Länger (Soft Comput., 2015)

Set Representation of Partial Dynamic De Morgan Algebras. - Ivan Chajda; Jan Paseka (ISMVL, 2016)

General coupled semirings of residuated lattices. - Ivan Chajda; Helmut Länger (Fuzzy Sets Syst., 2016)

Galois connections and tense operators on q-effect algebras. - Ivan Chajda; Jan Paseka (Fuzzy Sets Syst., 2016)

Representing quantum structures as near semirings. - Stefano Bonzio; Ivan Chajda; Antonio Ledda (Log. J. IGPL, 2016)

Orthogonal relational systems. - Stefano Bonzio; Ivan Chajda; Antonio Ledda (Soft Comput., 2016)

On congruences of weak lattices. - Ivan Chajda; Helmut Länger (Soft Comput., 2016)

Involutive right-residuated l-groupoids. - Ivan Chajda; Sándor Radeleczki (Soft Comput., 2016)

The Groupoid-Based Logic for Lattice Effect Algebras. - Ivan Chajda; Helmut Länger; Jan Paseka (ISMVL, 2017)

On the Structure of Pseudo-BCK Algebras. - Ivan Chajda; Helmut Länger (J. Multiple Valued Log. Soft Comput., 2017)

De Morgan Algebras with Tense Operators. - Ivan Chajda; Jan Paseka (J. Multiple Valued Log. Soft Comput., 2017)

Coupled Right Orthosemirings Induced by Orthomodular Lattices. - Ivan Chajda; Helmut Länger (Order, 2017)

Convex congruences. - Ivan Chajda; Helmut Länger (Soft Comput., 2017)

Dynamic logic assigned to automata. - Ivan Chajda; Jan Paseka (CoRR, 2018)

On the structure theory of Łukasiewicz near semirings. - Ivan Chajda; Davide Fazio; Antonio Ledda (Log. J. IGPL, 2018)

The Poset-based Logics for the De Morgan Negation and Set Representation of Partial Dynamic De Morgan Algebras. - Ivan Chajda; Jan Paseka (J. Multiple Valued Log. Soft Comput., 2018)

Weakly Orthomodular and Dually Weakly Orthomodular Lattices. - Ivan Chajda; Helmut Länger (Order, 2018)

Uniquely Complemented Posets. - Ivan Chajda; Helmut Länger; Jan Paseka (Order, 2018)

A representation of residuated lattices satisfying the double negation law. - Ivan Chajda (Soft Comput., 2018)

Reduced axioms for the propositional logics induced by basic algebras. - Ivan Chajda; Miroslav Kolarík (Soft Comput., 2018)

When does a generalized Boolean quasiring become a Boolean ring? - Ivan Chajda; Helmut Länger (Soft Comput., 2018)

The Logic of Lattice Effect Algebras Based on Induced Groupoids. - Ivan Chajda; Helmut Länger; Jan Paseka (J. Multiple Valued Log. Soft Comput., 2019)

A semiring-like representation of lattice pseudoeffect algebras. - Ivan Chajda; Davide Fazio; Antonio Ledda (Soft Comput., 2019)

Operations and structures derived from non-associative MV-algebras. - Ivan Chajda; Radomír Halas; Helmut Länger (Soft Comput., 2019)

Evolution of objects and concepts. - Ivan Chajda; Miroslav Kolarík; Jan Paseka (Soft Comput., 2019)

The lattice of subspaces of a vector space over a finite field. - Ivan Chajda; Helmut Länger (Soft Comput., 2019)

Ideals and their complements in commutative semirings. - Ivan Chajda; Helmut Länger (Soft Comput., 2019)

Left residuated operators induced by posets with a unary operation. - Ivan Chajda; Helmut Länger (Soft Comput., 2019)

On the decomposability of aggregation functions on direct products of posets. - Ivan Chajda; Radomír Halas; Radko Mesiar (Fuzzy Sets Syst., 2020)

Residuation in lattice effect algebras. - Ivan Chajda; Helmut Länger (Fuzzy Sets Syst., 2020)

The generalized orthomodularity property: configurations and pastings. - Ivan Chajda; Davide Fazio; Antonio Ledda (J. Log. Comput., 2020)

Sublattices and Δ-blocks of orthomodular posets. - Ivan Chajda; Helmut Länger (J. Log. Comput., 2020)

Algebraic Aspects of Relatively Pseudocomplemented Posets. - Ivan Chajda; Helmut Länger; Jan Paseka (Order, 2020)

On residuation in paraorthomodular lattices. - Ivan Chajda; Davide Fazio (Soft Comput., 2020)

The logic induced by effect algebras. - Ivan Chajda; Radomír Halas; Helmut Länger (Soft Comput., 2020)

Left residuated lattices induced by lattices with a unary operation. - Ivan Chajda; Helmut Länger (Soft Comput., 2020)

Extensions of posets with an antitone involution to residuated structures. - Ivan Chajda; Miroslav Kolarík; Helmut Länger (Fuzzy Sets Syst., 2021)

Sectionally Pseudocomplemented Posets. - Ivan Chajda; Helmut Länger; Jan Paseka (Order, 2021)

Filters and congruences in sectionally pseudocomplemented lattices and posets. - Ivan Chajda; Helmut Länger (Soft Comput., 2021)

Consistent posets. - Ivan Chajda; Helmut Länger (Soft Comput., 2021)

Adjoint Operations in Twist-Products of Lattices. - Ivan Chajda; Helmut Länger (Symmetry, 2021)

Algebras Describing Pseudocomplemented, Relatively Pseudocomplemented and Sectionally Pseudocomplemented Posets. - Ivan Chajda; Helmut Länger (Symmetry, 2021)

Constructions of Kleene lattices. - Ivan Chajda; Helmut Länger; Jan Paseka (ISMVL, 2022)

Algebraic Properties of Paraorthomodular Posets. - Ivan Chajda; Davide Fazio; Helmut Länger; Antonio Ledda; Jan Paseka (Log. J. IGPL, 2022)

The logic of orthomodular posets of finite height. - Ivan Chajda; Helmut Länger (Log. J. IGPL, 2022)

Inexact Residuation in Effect Algebras. - Ivan Chajda; Helmut Länger (J. Multiple Valued Log. Soft Comput., 2022)

Semimodular λ-lattices. - Ivan Chajda; Helmut Länger (J. Multiple Valued Log. Soft Comput., 2022)

Sheffer operation in relational systems. - Ivan Chajda; Helmut Länger (Soft Comput., 2022)

Implication in finite posets with pseudocomplemented sections. - Ivan Chajda; Helmut Länger (Soft Comput., 2022)

An algebraic analysis of implication in non-distributive logics. - Ivan Chajda; Kadir Emir; Davide Fazio; Helmut Länger; Antonio Ledda; Jan Paseka (J. Log. Comput., 2023)

Orthomodular and Skew Orthomodular Posets. - Ivan Chajda; Miroslav Kolarík; Helmut Länger (Symmetry, 2023)

Operator residuation in orthomodular posets of finite height. - Ivan Chajda; Helmut Länger (Fuzzy Sets Syst., 2023)

Representability of Kleene Posets and Kleene Lattices. - Ivan Chajda; Helmut Länger; Jan Paseka (Stud Logica, 2024)

Algebraic structures formalizing the logic with unsharp implication and negation. - Ivan Chajda; Helmut Länger (Log. J. IGPL, 2025)

The variety of complemented lattices where conjunction and implication form an adjoint pair. - Václav Cenker; Ivan Chajda; Helmut Länger (J. Log. Comput., 2025)

Tense logics based on posets. - Ivan Chajda; Helmut Länger; Antonio Ledda; Jan Paseka; Gandolfo Vergottini (J. Log. Comput., 2025)

Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension. - Ivan Chajda; Helmut Länger (Stud Logica, 2025)

Operators on complemented lattices. - Ivan Chajda; Helmut Länger (Soft Comput., 2025)