default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHelmut Länger
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j42]Ivan Chajda, Helmut Länger, Jan Paseka
:
Representability of Kleene Posets and Kleene Lattices. Stud Logica 112(6): 1281-1317 (2024)- 2023
- [j41]Ivan Chajda, Helmut Länger:
Operator residuation in orthomodular posets of finite height. Fuzzy Sets Syst. 467: 108589 (2023) - [j40]Ivan Chajda, Kadir Emir, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka:
An algebraic analysis of implication in non-distributive logics. J. Log. Comput. 33(1): 47-89 (2023) - [j39]Ivan Chajda, Miroslav Kolarík, Helmut Länger:
Orthomodular and Skew Orthomodular Posets. Symmetry 15(4): 810 (2023) - 2022
- [j38]Ivan Chajda, Helmut Länger:
The logic of orthomodular posets of finite height. Log. J. IGPL 30(1): 143-154 (2022) - [j37]Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka:
Algebraic Properties of Paraorthomodular Posets. Log. J. IGPL 30(5): 840-869 (2022) - [j36]Ivan Chajda, Helmut Länger:
Inexact Residuation in Effect Algebras. J. Multiple Valued Log. Soft Comput. 38(1-2): 57-79 (2022) - [j35]Ivan Chajda, Helmut Länger:
Semimodular λ-lattices. J. Multiple Valued Log. Soft Comput. 39(1): 79-96 (2022) - [j34]Ivan Chajda, Helmut Länger:
Sheffer operation in relational systems. Soft Comput. 26(1): 89-97 (2022) - [j33]Ivan Chajda, Helmut Länger:
Implication in finite posets with pseudocomplemented sections. Soft Comput. 26(13): 5945-5953 (2022) - [c2]Ivan Chajda, Helmut Länger, Jan Paseka:
Constructions of Kleene lattices. ISMVL 2022: 88-93 - 2021
- [j32]Ivan Chajda, Miroslav Kolarík, Helmut Länger:
Extensions of posets with an antitone involution to residuated structures. Fuzzy Sets Syst. 425: 169-175 (2021) - [j31]Ivan Chajda, Helmut Länger, Jan Paseka:
Sectionally Pseudocomplemented Posets. Order 38(3): 527-546 (2021) - [j30]Ivan Chajda, Helmut Länger:
Filters and congruences in sectionally pseudocomplemented lattices and posets. Soft Comput. 25(14): 8827-8837 (2021) - [j29]Ivan Chajda, Helmut Länger:
Consistent posets. Soft Comput. 25(15): 9765-9772 (2021) - [j28]Ivan Chajda, Helmut Länger:
Adjoint Operations in Twist-Products of Lattices. Symmetry 13(2): 253 (2021) - [j27]Ivan Chajda, Helmut Länger:
Algebras Describing Pseudocomplemented, Relatively Pseudocomplemented and Sectionally Pseudocomplemented Posets. Symmetry 13(5): 753 (2021) - 2020
- [j26]Ivan Chajda, Helmut Länger:
Residuation in lattice effect algebras. Fuzzy Sets Syst. 397: 168-178 (2020) - [j25]Ivan Chajda, Helmut Länger:
Sublattices and Δ-blocks of orthomodular posets. J. Log. Comput. 30(7): 1401-1423 (2020) - [j24]Ivan Chajda, Helmut Länger, Jan Paseka:
Algebraic Aspects of Relatively Pseudocomplemented Posets. Order 37(1): 1-29 (2020) - [j23]Ivan Chajda, Helmut Länger:
Left residuated lattices induced by lattices with a unary operation. Soft Comput. 24(2): 723-729 (2020) - [j22]Ivan Chajda, Radomír Halas, Helmut Länger:
The logic induced by effect algebras. Soft Comput. 24(19): 14275-14286 (2020)
2010 – 2019
- 2019
- [j21]Ivan Chajda, Helmut Länger, Jan Paseka:
The Logic of Lattice Effect Algebras Based on Induced Groupoids. J. Multiple Valued Log. Soft Comput. 33(3): 161-175 (2019) - [j20]Ivan Chajda, Helmut Länger:
The lattice of subspaces of a vector space over a finite field. Soft Comput. 23(10): 3261-3267 (2019) - [j19]Ivan Chajda, Radomír Halas, Helmut Länger:
Operations and structures derived from non-associative MV-algebras. Soft Comput. 23(12): 3935-3944 (2019) - [j18]Ivan Chajda, Helmut Länger:
Ideals and their complements in commutative semirings. Soft Comput. 23(14): 5385-5392 (2019) - [j17]Ivan Chajda, Helmut Länger:
Left residuated operators induced by posets with a unary operation. Soft Comput. 23(22): 11351-11356 (2019) - 2018
- [j16]Ivan Chajda, Helmut Länger, Jan Paseka:
Uniquely Complemented Posets. Order 35(3): 421-431 (2018) - [j15]Ivan Chajda, Helmut Länger:
Weakly Orthomodular and Dually Weakly Orthomodular Lattices. Order 35(3): 541-555 (2018) - [j14]Ivan Chajda, Helmut Länger:
When does a generalized Boolean quasiring become a Boolean ring? Soft Comput. 22(20): 6877-6879 (2018) - 2017
- [j13]Ivan Chajda, Helmut Länger:
On the Structure of Pseudo-BCK Algebras. J. Multiple Valued Log. Soft Comput. 28(2-3): 179-188 (2017) - [j12]Ivan Chajda, Helmut Länger:
Coupled Right Orthosemirings Induced by Orthomodular Lattices. Order 34(1): 1-7 (2017) - [j11]Ivan Chajda, Helmut Länger:
Convex congruences. Soft Comput. 21(19): 5641-5645 (2017) - [c1]Ivan Chajda, Helmut Länger, Jan Paseka:
The Groupoid-Based Logic for Lattice Effect Algebras. ISMVL 2017: 230-235 - 2016
- [j10]Ivan Chajda, Helmut Länger:
General coupled semirings of residuated lattices. Fuzzy Sets Syst. 303: 128-135 (2016) - [j9]Ivan Chajda, Helmut Länger:
On congruences of weak lattices. Soft Comput. 20(12): 4767-4771 (2016) - 2015
- [j8]Ivan Chajda, Helmut Länger:
Commutative basic algebras and coupled near semirings. Soft Comput. 19(5): 1129-1134 (2015) - 2012
- [j7]Ivan Chajda, Helmut Länger:
Symmetric Differences on Posets with an Antitone Involution. Order 29(1): 215-225 (2012) - [j6]Ivan Chajda, Helmut Länger:
A non-associative generalization of effect algebras. Soft Comput. 16(8): 1411-1414 (2012) - 2011
- [j5]Ivan Chajda, Miroslav Kolarík, Helmut Länger:
Polynomial permutations on bounded commutative directoids with an antitone involution. Soft Comput. 15(1): 183-186 (2011) - 2010
- [j4]Gerhard Dorfer, Dietmar Dorninger, Helmut Länger:
On the structure of numerical event spaces. Kybernetika 46(6): 971-981 (2010) - [j3]Radomír Halas, Helmut Länger:
The Zerodivisor Graph of a Qoset. Order 27(3): 343-351 (2010)
2000 – 2009
- 2008
- [j2]Ivan Chajda, Radomír Halas, Helmut Länger:
Congruence kernels of orthomodular implication algebras. Discret. Math. 308(20): 4724-4733 (2008)
1980 – 1989
- 1983
- [j1]Dietmar Dorninger, Helmut Länger:
An explicit formula for the solution of the Fisher-Wright selection model in population genetics. Discret. Appl. Math. 6(2): 209-211 (1983)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
