Helmut Länger

51 papers Journal 49Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension.
Stud Logica
Ivan Chajda, Helmut Länger
2025 J jnl
Algebraic structures formalizing the logic with unsharp implication and negation.
Log. J. IGPL
Ivan Chajda, Helmut Länger
2025 J jnl
Filters and ideals in pseudocomplemented posets.
Soft Comput.
Ivan Chajda, Helmut Länger
2025 J jnl
Induced Orthogonality in Semilattices with 0 and in Pseudocomplemented Lattices and Posets.
Order
Ivan Chajda, Miroslav Kolarík, Helmut Länger
2025 J jnl
Operators on complemented lattices.
Soft Comput.
Ivan Chajda, Helmut Länger
2025 J jnl
Tense logics based on posets.
J. Log. Comput.
Ivan Chajda, Helmut Länger, Antonio Ledda, Jan Paseka, Gandolfo Vergottini
2025 J jnl
The variety of complemented lattices where conjunction and implication form an adjoint pair.
J. Log. Comput.
Václav Cenker, Ivan Chajda, Helmut Länger
2024 J jnl
Representability of Kleene Posets and Kleene Lattices.
Stud Logica
Ivan Chajda, Helmut Länger, Jan Paseka
2023 J jnl
An algebraic analysis of implication in non-distributive logics.
J. Log. Comput.
Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka
2023 J jnl
Operator residuation in orthomodular posets of finite height.
Fuzzy Sets Syst.
Ivan Chajda, Helmut Länger
2023 J jnl
Orthomodular and Skew Orthomodular Posets.
Symmetry
Ivan Chajda, Miroslav Kolarík, Helmut Länger
2022 J jnl
Algebraic Properties of Paraorthomodular Posets.
Log. J. IGPL
Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka
2022 — conf
Constructions of Kleene lattices.
ISMVL
Ivan Chajda, Helmut Länger, Jan Paseka
2022 J jnl
Implication in finite posets with pseudocomplemented sections.
Soft Comput.
Ivan Chajda, Helmut Länger
2022 J jnl
Inexact Residuation in Effect Algebras.
J. Multiple Valued Log. Soft Comput.
Ivan Chajda, Helmut Länger
2022 J jnl
Semimodular λ-lattices.
J. Multiple Valued Log. Soft Comput.
Ivan Chajda, Helmut Länger
2022 J jnl
Sheffer operation in relational systems.
Soft Comput.
Ivan Chajda, Helmut Länger
2022 J jnl
The logic of orthomodular posets of finite height.
Log. J. IGPL
Ivan Chajda, Helmut Länger
2021 J jnl
Adjoint Operations in Twist-Products of Lattices.
Symmetry
Ivan Chajda, Helmut Länger
2021 J jnl
Algebras Describing Pseudocomplemented, Relatively Pseudocomplemented and Sectionally Pseudocomplemented Posets.
Symmetry
Ivan Chajda, Helmut Länger
2021 J jnl
Consistent posets.
Soft Comput.
Ivan Chajda, Helmut Länger
2021 J jnl
Extensions of posets with an antitone involution to residuated structures.
Fuzzy Sets Syst.
Ivan Chajda, Miroslav Kolarík, Helmut Länger
2021 J jnl
Filters and congruences in sectionally pseudocomplemented lattices and posets.
Soft Comput.
Ivan Chajda, Helmut Länger
2021 J jnl
Sectionally Pseudocomplemented Posets.
Order
Ivan Chajda, Helmut Länger, Jan Paseka
2020 J jnl
Algebraic Aspects of Relatively Pseudocomplemented Posets.
Order
Ivan Chajda, Helmut Länger, Jan Paseka
2020 J jnl
Left residuated lattices induced by lattices with a unary operation.
Soft Comput.
Ivan Chajda, Helmut Länger
2020 J jnl
Residuation in lattice effect algebras.
Fuzzy Sets Syst.
Ivan Chajda, Helmut Länger
2020 J jnl
Sublattices and Δ-blocks of orthomodular posets.
J. Log. Comput.
Ivan Chajda, Helmut Länger
2020 J jnl
The logic induced by effect algebras.
Soft Comput.
Ivan Chajda, Radomír Halas, Helmut Länger
2019 J jnl
Ideals and their complements in commutative semirings.
Soft Comput.
Ivan Chajda, Helmut Länger
2019 J jnl
Left residuated operators induced by posets with a unary operation.
Soft Comput.
Ivan Chajda, Helmut Länger
2019 J jnl
Operations and structures derived from non-associative MV-algebras.
Soft Comput.
Ivan Chajda, Radomír Halas, Helmut Länger
2019 J jnl
The Logic of Lattice Effect Algebras Based on Induced Groupoids.
J. Multiple Valued Log. Soft Comput.
Ivan Chajda, Helmut Länger, Jan Paseka
2019 J jnl
The lattice of subspaces of a vector space over a finite field.
Soft Comput.
Ivan Chajda, Helmut Länger
2018 J jnl
Uniquely Complemented Posets.
Order
Ivan Chajda, Helmut Länger, Jan Paseka
2018 J jnl
Weakly Orthomodular and Dually Weakly Orthomodular Lattices.
Order
Ivan Chajda, Helmut Länger
2018 J jnl
When does a generalized Boolean quasiring become a Boolean ring?
Soft Comput.
Ivan Chajda, Helmut Länger
2017 J jnl
Convex congruences.
Soft Comput.
Ivan Chajda, Helmut Länger
2017 J jnl
Coupled Right Orthosemirings Induced by Orthomodular Lattices.
Order
Ivan Chajda, Helmut Länger
2017 J jnl
On the Structure of Pseudo-BCK Algebras.
J. Multiple Valued Log. Soft Comput.
Ivan Chajda, Helmut Länger
2017 — conf
The Groupoid-Based Logic for Lattice Effect Algebras.
ISMVL
Ivan Chajda, Helmut Länger, Jan Paseka
2016 J jnl
General coupled semirings of residuated lattices.
Fuzzy Sets Syst.
Ivan Chajda, Helmut Länger
2016 J jnl
On congruences of weak lattices.
Soft Comput.
Ivan Chajda, Helmut Länger
2015 J jnl
Commutative basic algebras and coupled near semirings.
Soft Comput.
Ivan Chajda, Helmut Länger
2012 J jnl
A non-associative generalization of effect algebras.
Soft Comput.
Ivan Chajda, Helmut Länger
2012 J jnl
Symmetric Differences on Posets with an Antitone Involution.
Order
Ivan Chajda, Helmut Länger
2011 J jnl
Polynomial permutations on bounded commutative directoids with an antitone involution.
Soft Comput.
Ivan Chajda, Miroslav Kolarík, Helmut Länger
2010 J jnl
On the structure of numerical event spaces.
Kybernetika
Gerhard Dorfer, Dietmar Dorninger, Helmut Länger
2010 J jnl
The Zerodivisor Graph of a Qoset.
Order
Radomír Halas, Helmut Länger
2008 J jnl
Congruence kernels of orthomodular implication algebras.
Discret. Math.
Ivan Chajda, Radomír Halas, Helmut Länger
1983 J jnl
An explicit formula for the solution of the Fisher-Wright selection model in population genetics.
Discret. Appl. Math.
Dietmar Dorninger, Helmut Länger