default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIvan Chajda
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j81]Ivan Chajda, Helmut Länger
:
Operator residuation in orthomodular posets of finite height. Fuzzy Sets Syst. 467: 108589 (2023)- [j80]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) - [j79]Ivan Chajda, Miroslav Kolarík, Helmut Länger:
Orthomodular and Skew Orthomodular Posets. Symmetry 15(4): 810 (2023) - 2022
- [j78]Ivan Chajda, Helmut Länger:
The logic of orthomodular posets of finite height. Log. J. IGPL 30(1): 143-154 (2022) - [j77]Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka:
Algebraic Properties of Paraorthomodular Posets. Log. J. IGPL 30(5): 840-869 (2022) - [j76]Ivan Chajda, Helmut Länger:
Inexact Residuation in Effect Algebras. J. Multiple Valued Log. Soft Comput. 38(1-2): 57-79 (2022) - [j75]Ivan Chajda, Helmut Länger:
Semimodular λ-lattices. J. Multiple Valued Log. Soft Comput. 39(1): 79-96 (2022) - [j74]Ivan Chajda, Helmut Länger:
Sheffer operation in relational systems. Soft Comput. 26(1): 89-97 (2022) - [j73]Ivan Chajda, Helmut Länger:
Implication in finite posets with pseudocomplemented sections. Soft Comput. 26(13): 5945-5953 (2022) - [c4]Ivan Chajda, Helmut Länger, Jan Paseka:
Constructions of Kleene lattices. ISMVL 2022: 88-93 - 2021
- [j72]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) - [j71]Ivan Chajda, Helmut Länger, Jan Paseka:
Sectionally Pseudocomplemented Posets. Order 38(3): 527-546 (2021) - [j70]Ivan Chajda, Helmut Länger:
Filters and congruences in sectionally pseudocomplemented lattices and posets. Soft Comput. 25(14): 8827-8837 (2021) - [j69]Ivan Chajda, Helmut Länger:
Consistent posets. Soft Comput. 25(15): 9765-9772 (2021) - [j68]Ivan Chajda, Helmut Länger:
Adjoint Operations in Twist-Products of Lattices. Symmetry 13(2): 253 (2021) - [j67]Ivan Chajda, Helmut Länger:
Algebras Describing Pseudocomplemented, Relatively Pseudocomplemented and Sectionally Pseudocomplemented Posets. Symmetry 13(5): 753 (2021) - 2020
- [j66]Ivan Chajda, Radomír Halas, Radko Mesiar:
On the decomposability of aggregation functions on direct products of posets. Fuzzy Sets Syst. 386: 25-35 (2020) - [j65]Ivan Chajda, Helmut Länger:
Residuation in lattice effect algebras. Fuzzy Sets Syst. 397: 168-178 (2020) - [j64]Ivan Chajda, Davide Fazio, Antonio Ledda:
The generalized orthomodularity property: configurations and pastings. J. Log. Comput. 30(5): 991-1022 (2020) - [j63]Ivan Chajda, Helmut Länger:
Sublattices and Δ-blocks of orthomodular posets. J. Log. Comput. 30(7): 1401-1423 (2020) - [j62]Ivan Chajda, Helmut Länger, Jan Paseka:
Algebraic Aspects of Relatively Pseudocomplemented Posets. Order 37(1): 1-29 (2020) - [j61]Ivan Chajda, Helmut Länger:
Left residuated lattices induced by lattices with a unary operation. Soft Comput. 24(2): 723-729 (2020) - [j60]Ivan Chajda, Davide Fazio:
On residuation in paraorthomodular lattices. Soft Comput. 24(14): 10295-10304 (2020) - [j59]Ivan Chajda, Radomír Halas, Helmut Länger:
The logic induced by effect algebras. Soft Comput. 24(19): 14275-14286 (2020)
2010 – 2019
- 2019
- [j58]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) - [j57]Ivan Chajda, Davide Fazio, Antonio Ledda:
A semiring-like representation of lattice pseudoeffect algebras. Soft Comput. 23(5): 1465-1475 (2019) - [j56]Ivan Chajda, Helmut Länger:
The lattice of subspaces of a vector space over a finite field. Soft Comput. 23(10): 3261-3267 (2019) - [j55]Ivan Chajda, Radomír Halas, Helmut Länger:
Operations and structures derived from non-associative MV-algebras. Soft Comput. 23(12): 3935-3944 (2019) - [j54]Ivan Chajda, Helmut Länger:
Ideals and their complements in commutative semirings. Soft Comput. 23(14): 5385-5392 (2019) - [j53]Ivan Chajda, Miroslav Kolarík, Jan Paseka:
Evolution of objects and concepts. Soft Comput. 23(19): 9449-9458 (2019) - [j52]Ivan Chajda, Helmut Länger:
Left residuated operators induced by posets with a unary operation. Soft Comput. 23(22): 11351-11356 (2019) - 2018
- [j51]Ivan Chajda, Davide Fazio, Antonio Ledda:
On the structure theory of Łukasiewicz near semirings. Log. J. IGPL 26(1): 14-28 (2018) - [j50]Ivan Chajda, Jan Paseka:
The Poset-based Logics for the De Morgan Negation and Set Representation of Partial Dynamic De Morgan Algebras. J. Multiple Valued Log. Soft Comput. 31(3): 213-237 (2018) - [j49]Ivan Chajda, Helmut Länger, Jan Paseka:
Uniquely Complemented Posets. Order 35(3): 421-431 (2018) - [j48]Ivan Chajda, Helmut Länger:
Weakly Orthomodular and Dually Weakly Orthomodular Lattices. Order 35(3): 541-555 (2018) - [j47]Ivan Chajda, Miroslav Kolarík:
Reduced axioms for the propositional logics induced by basic algebras. Soft Comput. 22(4): 1203-1207 (2018) - [j46]Ivan Chajda:
A representation of residuated lattices satisfying the double negation law. Soft Comput. 22(6): 1773-1776 (2018) - [j45]Ivan Chajda, Helmut Länger:
When does a generalized Boolean quasiring become a Boolean ring? Soft Comput. 22(20): 6877-6879 (2018) - [i1]Ivan Chajda, Jan Paseka:
Dynamic logic assigned to automata. CoRR abs/1809.04456 (2018) - 2017
- [j44]Ivan Chajda, Jan Paseka:
De Morgan Algebras with Tense Operators. J. Multiple Valued Log. Soft Comput. 28(1): 29-45 (2017) - [j43]Ivan Chajda, Helmut Länger:
On the Structure of Pseudo-BCK Algebras. J. Multiple Valued Log. Soft Comput. 28(2-3): 179-188 (2017) - [j42]Ivan Chajda, Helmut Länger:
Coupled Right Orthosemirings Induced by Orthomodular Lattices. Order 34(1): 1-7 (2017) - [j41]Ivan Chajda, Helmut Länger:
Convex congruences. Soft Comput. 21(19): 5641-5645 (2017) - [c3]Ivan Chajda, Helmut Länger, Jan Paseka:
The Groupoid-Based Logic for Lattice Effect Algebras. ISMVL 2017: 230-235 - 2016
- [j40]Ivan Chajda, Jan Paseka:
Galois connections and tense operators on q-effect algebras. Fuzzy Sets Syst. 298: 56-68 (2016) - [j39]Ivan Chajda, Helmut Länger:
General coupled semirings of residuated lattices. Fuzzy Sets Syst. 303: 128-135 (2016) - [j38]Stefano Bonzio, Ivan Chajda, Antonio Ledda:
Representing quantum structures as near semirings. Log. J. IGPL 24(5): 719-742 (2016) - [j37]Ivan Chajda, Sándor Radeleczki:
Involutive right-residuated l-groupoids. Soft Comput. 20(1): 119-131 (2016) - [j36]Stefano Bonzio, Ivan Chajda, Antonio Ledda:
Orthogonal relational systems. Soft Comput. 20(11): 4403-4411 (2016) - [j35]Ivan Chajda, Helmut Länger:
On congruences of weak lattices. Soft Comput. 20(12): 4767-4771 (2016) - [c2]Ivan Chajda, Jan Paseka:
Set Representation of Partial Dynamic De Morgan Algebras. ISMVL 2016: 119-124 - 2015
- [j34]Ivan Chajda, Jan Paseka:
Tense operators in fuzzy logic. Fuzzy Sets Syst. 276: 100-113 (2015) - [j33]Ivan Chajda, Radomír Halas:
On varieties of basic algebras. Soft Comput. 19(2): 261-267 (2015) - [j32]Ivan Chajda, José Gil-Férez, Roberto Giuntini, Miroslav Kolarík, Antonio Ledda, Francesco Paoli:
On some properties of directoids. Soft Comput. 19(4): 955-964 (2015) - [j31]Ivan Chajda, Helmut Länger:
Commutative basic algebras and coupled near semirings. Soft Comput. 19(5): 1129-1134 (2015) - 2014
- [j30]Ivan Chajda, Miroslav Kolarík:
Every Skew Effect Algebra can be Extended into a Total Algebra. J. Multiple Valued Log. Soft Comput. 23(1-2): 53-72 (2014) - [j29]Ivan Chajda:
An algebraic axiomatization of orthogonal posets. Soft Comput. 18(1): 1-4 (2014) - [j28]Ivan Chajda:
Filters of implication reducts of basic algebras. Soft Comput. 18(5): 849-852 (2014) - 2013
- [j27]Ivan Chajda, Jan Krnávek:
Skew residuated lattices. Fuzzy Sets Syst. 222: 78-83 (2013) - [j26]Ivan Chajda, Miroslav Kolarík, Jan Krnávek:
Pseudo Basic Algebras. J. Multiple Valued Log. Soft Comput. 21(1-2): 113-129 (2013) - [j25]Ivan Chajda, Jan Kühr:
Ideals and congruences of basic algebras. Soft Comput. 17(3): 401-410 (2013) - [j24]Ivan Chajda:
A congruence modular variety that is neither congruence distributive nor 3-permutable. Soft Comput. 17(8): 1467-1469 (2013) - [c1]Ivan Chajda, Jan Paseka:
Tense Operators and Dynamic De Morgan Algebras. ISMVL 2013: 219-224 - 2012
- [j23]Ivan Chajda, Radomír Halas:
The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras. Inf. Sci. 199: 179-186 (2012) - [j22]Ivan Chajda, Helmut Länger:
Symmetric Differences on Posets with an Antitone Involution. Order 29(1): 215-225 (2012) - [j21]Ivan Chajda, Miroslav Kolarík:
Very true operators in effect algebras. Soft Comput. 16(7): 1213-1218 (2012) - [j20]Ivan Chajda, Helmut Länger:
A non-associative generalization of effect algebras. Soft Comput. 16(8): 1411-1414 (2012) - [j19]Ivan Chajda, Jan Paseka:
Dynamic effect algebras and their representations. Soft Comput. 16(10): 1733-1741 (2012) - 2011
- [j18]Young Bae Jun, Ivan Chajda, Hee Sik Kim, Eun Hwan Roh, Jianming Zhan, Afrodita Iorgulescu:
BCK-Algebras and Related Algebraic Systems. Int. J. Math. Math. Sci. 2011: 268683:1-268683:3 (2011) - [j17]Ivan Chajda, Radomír Halas, Hajime Machida:
Completeness of Order Algebras? J. Multiple Valued Log. Soft Comput. 17(1): 93-98 (2011) - [j16]Ivan Chajda, Miroslav Kolarík, Jan Kühr:
On Double Basic Algebras and Pseudo-effect Algebras. Order 28(3): 499-512 (2011) - [j15]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) - [j14]Ivan Chajda:
Hedges and successors in basic algebras. Soft Comput. 15(3): 613-618 (2011) - [j13]Ivan Chajda, Radomír Halas:
Effect algebras are conditionally residuated structures. Soft Comput. 15(7): 1383-1387 (2011) - 2010
- [j12]Ivan Chajda, Radek Halas, Ivo G. Rosenberg:
On the role of logical connectives for primality and functional completeness of algebras of logics. Inf. Sci. 180(8): 1345-1353 (2010) - [j11]Michal Botur, Ivan Chajda, Radomír Halas:
Are basic algebras residuated structures? Soft Comput. 14(3): 251-255 (2010)
2000 – 2009
- 2009
- [j10]Ivan Chajda, Jan Kühr:
A note on intervals of residuated l-groupoids. Fuzzy Sets Syst. 160(16): 2379-2386 (2009) - [j9]Ivan Chajda, Radomír Halas:
Functional Completeness of Weak Logics with the Strict Negation? J. Multiple Valued Log. Soft Comput. 15(1): 95-99 (2009) - [j8]Ivan Chajda:
Double Basic Algebras. Order 26(2): 149-162 (2009) - [j7]Ivan Chajda, Miroslav Kolarík:
Independence of axiom system of basic algebras. Soft Comput. 13(1): 41-43 (2009) - 2008
- [j6]Ivan Chajda, Radomír Halas, Helmut Länger:
Congruence kernels of orthomodular implication algebras. Discret. Math. 308(20): 4724-4733 (2008) - [j5]Ivan Chajda, Miroslav Kolarík:
Nearlattices. Discret. Math. 308(21): 4906-4913 (2008) - 2007
- [j4]Ivan Chajda:
Orthomodular semilattices. Discret. Math. 307(1): 115-118 (2007) - [j3]Ivan Chajda, Shelly L. Wismath:
Constructions on P-Choice Algebras. J. Multiple Valued Log. Soft Comput. 13(1-2): 115-126 (2007) - 2004
- [j2]Ivan Chajda, Radomír Halas:
Abbott Groupoids. J. Multiple Valued Log. Soft Comput. 10(4): 385-395 (2004) - 2000
- [j1]Ivan Chajda, Radek Halas, Alexander Georgievich Pinus, Ivo G. Rosenberg:
Duality of Normally Presented Varieties. Int. J. Algebra Comput. 10(5): 651-664 (2000)
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 2024-10-07 21:21 CEST 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:
