An explicit formula for the solution of the Fisher-Wright selection model in population genetics. - Dietmar Dorninger; Helmut Länger (Discret. Appl. Math., 1983)

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

On the structure of numerical event spaces. - Gerhard Dorfer; Dietmar Dorninger; Helmut Länger (Kybernetika, 2010)

The Zerodivisor Graph of a Qoset. - Radomír Halas; Helmut Länger (Order, 2010)

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

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

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

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

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

On congruences of weak lattices. - Ivan Chajda; Helmut Länger (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)

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

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

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)

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)

Operations and structures derived from non-associative MV-algebras. - Ivan Chajda; Radomír Halas; Helmut Länger (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)

Residuation in lattice effect algebras. - Ivan Chajda; Helmut Länger (Fuzzy Sets Syst., 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)

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)