Person:334969: Difference between revisions

From MaRDI portal
Person:334969
Created automatically from import231006081045
 
m AuthorDisambiguator moved page Ivan Chajda to Ivan Chajda: Duplicate
 
(No difference)

Latest revision as of 09:32, 9 December 2023

Available identifiers

zbMath Open chajda.ivanMaRDI QIDQ334969

List of research outcomes

PublicationDate of PublicationType
Tolerances on posets2023-12-12Paper
Properties and special filters of pseudocomplemented posets2023-12-07Paper
Extensions of posets with an antitone involution to residuated structures2023-10-26Paper
The intuitionistic-like logic based on a poset2023-08-22Paper
Monotone and cone preserving mappings on posets2023-08-17Paper
Tense logic based on finite orthomodular posets2023-06-27Paper
Special filters in bounded lattices2023-06-16Paper
Compositions and decompositions of binary relations2023-05-04Paper
Extensions and congruences of partial lattices2023-04-13Paper
The logic of effect algebras incorporating time dimension2023-03-20Paper
Conditions forcing the existence of relative complements in lattices and posets2023-02-22Paper
An algebraic analysis of implication in non-distributive logics2023-02-20Paper
Integration in semirings2023-02-02Paper
Implication in sharply paraorthomodular and relatively paraorthomodular posets2023-01-23Paper
The logic with unsharp implication and negation2023-01-05Paper
Join-semilattices whose principal filters are pseudocomplemented lattices2022-12-16Paper
Filters and congruences in sectionally pseudocomplemented lattices and posets2022-11-21Paper
Consistent posets2022-11-21Paper
The logic of quantum mechanics incorporating time dimension2022-11-15Paper
Algebraic Properties of Paraorthomodular Posets2022-11-09Paper
Orthomodular and generalized orthomodular posets2022-10-11Paper
Residuation in twist products and pseudo-Kleene posets2022-09-12Paper
c-ideals in complemented posets2022-08-02Paper
On residuation in paraorthomodular lattices2022-07-18Paper
The logic induced by effect algebras2022-07-18Paper
Orthogonality and complementation in the lattice of subspaces of a finite vector space2022-06-23Paper
Kleene posets and pseudo-Kleene posets2022-06-14Paper
https://portal.mardi4nfdi.de/entity/Q58638522022-06-03Paper
Semimodules over commutative semirings and modules over unitary commutative rings2022-05-05Paper
Operator residuation in orthomodular posets of finite height2022-04-22Paper
Logical and algebraic properties of generalized orthomodular posets2022-04-06Paper
The logic of orthomodular posets of finite height2022-03-30Paper
Remarks on special congruences2022-03-29Paper
Varieties corresponding to classes of complemented posets2022-03-18Paper
The generalized orthomodularity property: configurations and pastings2022-02-08Paper
Filters and ideals in pseudocomplemented posets2022-02-07Paper
Extensions and congruences of partial lattices2022-01-16Paper
Properties of implication in effect algebras2021-12-03Paper
Residuation in finite posets2021-12-03Paper
Representability of Kleene posets and Kleene lattices2021-11-21Paper
Sectionally pseudocomplemented posets2021-11-19Paper
Constructions of Kleene lattices2021-10-31Paper
Implication in finite posets with pseudocomplemented sections2021-08-21Paper
On the decomposability of aggregation functions on direct products of posets2021-07-22Paper
https://portal.mardi4nfdi.de/entity/Q49983112021-07-08Paper
Conditions forcing the existence of relative complements in lattices and posets2021-07-05Paper
Residuation in lattice effect algebras2021-06-24Paper
How to introduce the connective implication in orthomodular posets2021-04-23Paper
Algebras describing pseudocomplemented, relatively pseudocomplemented and sectionally pseudocomplemented posets2021-03-23Paper
Implication in weakly and dually weakly orthomodular lattices2021-03-19Paper
Residuated operators and Dedekind-MacNeille completion2021-03-19Paper
Sheffer operation in relational systems2021-01-28Paper
https://portal.mardi4nfdi.de/entity/Q51443532021-01-15Paper
Adjoint operations in twist-products of lattices2021-01-03Paper
Relatively residuated lattices and posets2020-12-30Paper
Sublattices and Δ-blocks of orthomodular posets2020-12-15Paper
Residuation in twist products and pseudo-Kleene posets Abstract2020-11-29Paper
Sublattices corresponding to very true operators in commutative basic algebras2020-11-26Paper
Residuated structures derived from commutative idempotent semirings2020-11-26Paper
Algebraic properties of paraorthomodular posets2020-11-25Paper
Directly decomposable ideals and congruence kernels of commutative semirings2020-10-02Paper
Left residuated operators induced by posets with a unary operation2020-07-15Paper
Left residuated lattices induced by lattices with a unary operation2020-07-15Paper
Orthomodular lattices that are horizontal sums of Boolean algebras2020-07-02Paper
Algebraic aspects of relatively pseudocomplemented posets2020-05-26Paper
Lattices of subspaces of vector spaces with orthogonality2020-04-14Paper
Sublattices and $\Delta$-blocks of orthomodular posets2020-04-04Paper
Evolution of objects and concepts2020-02-17Paper
Orthogonality and complementation in the lattice of subspaces of a finite-dimensional vector space over a finite field2020-02-02Paper
https://portal.mardi4nfdi.de/entity/Q52122752020-01-28Paper
Residuation in finite posets2019-10-20Paper
Semimodular $\lambda$-lattices2019-09-11Paper
Operations and structures derived from non-associative MV-algebras2019-08-14Paper
Ideals and their complements in commutative semirings2019-08-14Paper
The lattice of subspaces of a vector space over a finite field2019-08-12Paper
Basic semirings2019-08-12Paper
Unsharp residuation in effect algebras2019-07-05Paper
A semiring-like representation of lattice pseudoeffect algebras2019-07-02Paper
Commutative rings whose ideal lattices are complemented2019-06-27Paper
On the structure theory of Łukasiewicz near semirings2019-06-24Paper
Derivations in Lukasiewicz semirings2019-06-12Paper
Residuation in modular lattices and posets2019-04-24Paper
Representing quantum structures as near semirings2019-01-08Paper
Residuated operators in complemented posets2018-12-18Paper
Residuation in non-associative MV-algebras2018-12-07Paper
When does a generalized Boolean quasiring become a Boolean ring?2018-11-27Paper
https://portal.mardi4nfdi.de/entity/Q49631342018-11-06Paper
https://portal.mardi4nfdi.de/entity/Q49631412018-11-06Paper
Reduced axioms for the propositional logics induced by basic algebras2018-10-22Paper
A representation of residuated lattices satisfying the double negation law2018-10-22Paper
The groupoid-based logic for lattice effect algebras2018-10-12Paper
Set Representation of Dynamic De Morgan algebras2018-10-11Paper
Uniquely complemented posets2018-10-09Paper
Weakly orthomodular and dually weakly orthomodular lattices2018-10-09Paper
https://portal.mardi4nfdi.de/entity/Q45837302018-09-03Paper
https://portal.mardi4nfdi.de/entity/Q45837702018-09-03Paper
Single identities forcing lattices to be Boolean2018-08-23Paper
Ideals of direct products of rings2018-08-08Paper
A note on homomorphisms between products of algebras2018-07-16Paper
The variety of commutative additively and multiplicatively idempotent semirings2018-06-22Paper
Basic algebras, logics, trends and applications2018-05-25Paper
Convex congruences2018-04-26Paper
Transition operators assigned to physical systems2018-04-19Paper
Relatively pseudocomplemented posets2018-04-18Paper
Residuated relational systems2018-04-03Paper
Weakly orthomodular and dually weakly orthomodular posets2018-04-03Paper
Commutative basic algebras and coupled near semirings2018-03-26Paper
Orthomodular lattices can be converted into left residuated l-groupoids2018-03-16Paper
A representation of lattice effect algebras by means of right near semirings with involution2018-02-05Paper
A note on orthomodular lattices2018-02-05Paper
Dynamic logic assigned to automata2018-02-05Paper
General coupled semirings of residuated lattices2018-01-22Paper
Galois connections and tense operators on q-effect algebras2017-11-14Paper
Tense operators in fuzzy logic2017-11-10Paper
Lattices with unique complementation2017-11-10Paper
Properties of non-associative MV-algebras2017-10-05Paper
Orthogonal relational systems2017-09-08Paper
On congruences of weak lattices2017-09-08Paper
Involutive right-residuated l-groupoids2017-09-06Paper
Groupoids corresponding to relational systems2017-08-25Paper
https://portal.mardi4nfdi.de/entity/Q53500622017-08-25Paper
On a variety of commutative multiplicatively idempotent semirings2017-07-07Paper
A note on residuated po-groupoids and lattices with antitone involutions2017-07-03Paper
States on basic algebras2017-07-03Paper
Residuation in orthomodular lattices2017-06-22Paper
https://portal.mardi4nfdi.de/entity/Q57379082017-05-30Paper
An implicational logic for orthomodular lattices2017-04-25Paper
Coupled right orthosemirings induced by orthomodular lattices2017-04-20Paper
A triple representation of lattice effect algebras2017-04-13Paper
Relational systems with involution2016-12-22Paper
When does a semiring become a residuated lattice?2016-12-22Paper
An approach to orthomodular lattices via lattices with an antitone involution2016-12-07Paper
Effect algebras with a full set of states2016-12-07Paper
A representation of basic algebras by coupled right near semirings2016-11-25Paper
On varieties of basic algebras2016-11-22Paper
On some properties of directoids2016-11-22Paper
Subdirectly irreducible commutative multiplicatively idempotent semirings2016-11-01Paper
https://portal.mardi4nfdi.de/entity/Q27999652016-04-14Paper
An ordered structure of pseudo-BCI-algebras2016-04-01Paper
The propositional logic induced by means of basic algebras2016-01-13Paper
Dynamic order algebras as an axiomatization of modal and tense logics2016-01-13Paper
The join of the variety of MV-algebras and the variety of orthomodular lattices2016-01-13Paper
https://portal.mardi4nfdi.de/entity/Q34585592015-12-18Paper
Filters of implication reducts of basic algebras.2015-12-02Paper
Basic algebras, logics, trends and applications2015-11-13Paper
A congruence modular variety that is neither congruence distributive nor 3-permutable.2015-11-09Paper
An algebraic axiomatization of orthogonal posets.2015-11-09Paper
An algebraic approach to binary relations2015-10-30Paper
On Boolean Subrings of Rings2015-10-07Paper
On order types of linear basic algebras.2015-06-23Paper
https://portal.mardi4nfdi.de/entity/Q52508932015-05-22Paper
https://portal.mardi4nfdi.de/entity/Q52496222015-05-06Paper
https://portal.mardi4nfdi.de/entity/Q51791182015-03-19Paper
https://portal.mardi4nfdi.de/entity/Q51791442015-03-19Paper
https://portal.mardi4nfdi.de/entity/Q51791452015-03-19Paper
Notes on tolerance factorable classes of algebras2015-01-07Paper
How to produce S-tense operators on lattice effect algebras2014-11-25Paper
A representation of skew effect algebras2014-11-25Paper
A structure of BCI-algebras2014-11-19Paper
Tense operators on spaces of numerical events2014-11-19Paper
https://portal.mardi4nfdi.de/entity/Q31912062014-09-24Paper
https://portal.mardi4nfdi.de/entity/Q54143512014-05-05Paper
https://portal.mardi4nfdi.de/entity/Q54144572014-05-05Paper
https://portal.mardi4nfdi.de/entity/Q54103412014-04-16Paper
Skew residuated lattices2014-04-14Paper
https://portal.mardi4nfdi.de/entity/Q28470712013-09-04Paper
Spaces of abstract events2013-08-30Paper
On realization of partially ordered abelian groups2013-08-30Paper
Dynamic effect algebras and their representations2013-08-01Paper
Tolerances as images of congruences in varieties defined by linear identities2013-07-12Paper
https://portal.mardi4nfdi.de/entity/Q28372082013-07-10Paper
https://portal.mardi4nfdi.de/entity/Q28372092013-07-10Paper
Finitely generated varieties of distributive effect algebras2013-06-28Paper
Ideals and congruences of basic algebras2013-06-11Paper
https://portal.mardi4nfdi.de/entity/Q49282762013-06-10Paper
https://portal.mardi4nfdi.de/entity/Q49222472013-05-29Paper
MP-CLOSED SUBSETS IN BASIC ALGEBRAS2013-05-02Paper
https://portal.mardi4nfdi.de/entity/Q49134162013-04-05Paper
Quotients and Homomorphisms of Relational Systems2013-03-22Paper
Independent joins of tolerance factorable varieties2013-02-05Paper
A non-associative generalization of effect algebras2013-01-25Paper
Very true operators in effect algebras2013-01-25Paper
A generalization of effect algebras and ortholattices2013-01-25Paper
The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras2012-10-17Paper
The rings which are Boolean2012-09-05Paper
A representation of weak effect algebras2012-08-27Paper
Tense operators on basic algebras2012-06-20Paper
Polynomial permutations on bounded commutative directoids with an antitone involution2012-05-16Paper
Hedges and successors in basic algebras2012-05-16Paper
Effect algebras are conditionally residuated structures2012-05-16Paper
Dynamic effect algebras2012-05-14Paper
https://portal.mardi4nfdi.de/entity/Q53892532012-04-26Paper
https://portal.mardi4nfdi.de/entity/Q53893122012-04-26Paper
Symmetric differences on posets with an antitone involution2012-03-23Paper
Polynomially representable semirings2012-03-02Paper
Algebraic axiomatization of tense intuitionistic logic2012-01-16Paper
On double basic algebras and pseudo-effect algebras2011-12-13Paper
https://portal.mardi4nfdi.de/entity/Q31027132011-12-07Paper
Congruences on semilattices with section antitone involutions2011-12-01Paper
https://portal.mardi4nfdi.de/entity/Q31002462011-11-23Paper
https://portal.mardi4nfdi.de/entity/Q31002472011-11-23Paper
Properties of relatively pseudocomplemented directoids2011-06-29Paper
https://portal.mardi4nfdi.de/entity/Q30051862011-06-07Paper
https://portal.mardi4nfdi.de/entity/Q29985942011-05-18Paper
https://portal.mardi4nfdi.de/entity/Q29985952011-05-18Paper
There exist subdirectly irreducible commutative basic algebras of an arbitrary infinite cardinality which are not MV-algebras2011-05-11Paper
Intervals of effect algebras and pseudo-effect algebras2011-03-18Paper
https://portal.mardi4nfdi.de/entity/Q30694082011-01-25Paper
Pseudo-effect algebras as total algebras2011-01-12Paper
https://portal.mardi4nfdi.de/entity/Q30572902010-11-24Paper
Skew Difference Algebras2010-10-12Paper
Two constructions of De Morgan algebras and De Morgan quasirings2010-09-14Paper
A characterization of commutative basic algebras2010-09-10Paper
https://portal.mardi4nfdi.de/entity/Q35744112010-07-09Paper
https://portal.mardi4nfdi.de/entity/Q35744122010-07-09Paper
https://portal.mardi4nfdi.de/entity/Q35745042010-07-09Paper
A common approach to directoids with an antitone involution and D-quasirings2010-06-17Paper
Minimal bounded lattices with an antitone involution the complemented elements of which do not form a sublattice2010-06-17Paper
https://portal.mardi4nfdi.de/entity/Q35687062010-06-15Paper
Remarks on pseudo MV-algebras2010-05-14Paper
Horizontal sums of basic algebras2010-05-14Paper
Effect-like algebras induced by means of basic algebras2010-04-27Paper
Are basic algebras residuated structures?2010-03-26Paper
On the role of logical connectives for primality and functional completeness of algebras of logics2010-03-11Paper
A Cayley theorem for distributive lattices2010-01-04Paper
https://portal.mardi4nfdi.de/entity/Q36538152009-12-29Paper
https://portal.mardi4nfdi.de/entity/Q36537712009-12-28Paper
Every effect algebra can be made into a total algebra2009-12-14Paper
A note on intervals of residuated \(\ell \)-groupoids2009-11-27Paper
Generalizations of Implication Algebras2009-09-21Paper
https://portal.mardi4nfdi.de/entity/Q33948852009-09-09Paper
https://portal.mardi4nfdi.de/entity/Q33927902009-08-17Paper
Double basic algebras2009-08-10Paper
https://portal.mardi4nfdi.de/entity/Q51930662009-08-10Paper
QUANTIFIERS ON LATTICES WITH AN ANTITONE INVOLUTION2009-07-27Paper
Join-semilattices whose sections are residuated PO-monoids2009-05-06Paper
The axioms for implication in orthologic2009-05-06Paper
https://portal.mardi4nfdi.de/entity/Q36225412009-04-28Paper
https://portal.mardi4nfdi.de/entity/Q36225422009-04-28Paper
Many-valued quantum algebras2009-04-24Paper
https://portal.mardi4nfdi.de/entity/Q36179102009-03-31Paper
Directoids with sectionally antitone involutions and skew MV-algebras2009-03-31Paper
Independence of axiom system of basic algebras2009-01-26Paper
Difference posets as commutative directoids with sectional antitone involutions2008-12-16Paper
https://portal.mardi4nfdi.de/entity/Q35428632008-12-01Paper
https://portal.mardi4nfdi.de/entity/Q35394482008-11-18Paper
Commutative directoids with sectionally antitone bijections2008-11-03Paper
Nearlattices2008-10-07Paper
CHARACTERIZATIONS OF POSETS VIA WEAK STATES2008-09-25Paper
Congruence kernels of orthomodular implication algebras2008-09-04Paper
HOMOMORPHISMS OF DIRECTED POSETS2008-08-26Paper
https://portal.mardi4nfdi.de/entity/Q35125732008-07-21Paper
https://portal.mardi4nfdi.de/entity/Q35125742008-07-21Paper
https://portal.mardi4nfdi.de/entity/Q35102862008-07-02Paper
https://portal.mardi4nfdi.de/entity/Q35089412008-07-01Paper
https://portal.mardi4nfdi.de/entity/Q35089422008-07-01Paper
https://portal.mardi4nfdi.de/entity/Q34993772008-05-29Paper
A basic algebra is an MV-algebra if and only if it is a BCC-algebra2008-04-21Paper
https://portal.mardi4nfdi.de/entity/Q54540662008-04-03Paper
https://portal.mardi4nfdi.de/entity/Q54505832008-03-13Paper
WHEN IS A BCC-ALGEBRA EQUIVALENT TO AN MV-ALGEBRA?2008-03-06Paper
WHEN IS A BCC-ALGEBRA EQUIVALENT TO AN MV-ALGEBRA?2008-03-06Paper
https://portal.mardi4nfdi.de/entity/Q54466332008-03-06Paper
Semilattices with sectional mappings2008-02-22Paper
Commutative directoids with sectional involutions2008-02-22Paper
https://portal.mardi4nfdi.de/entity/Q54398012008-02-11Paper
Iimplication algebras2008-01-28Paper
Distributive implication groupoids2007-12-17Paper
A non-associative generalization of MV-algebras2007-10-30Paper
https://portal.mardi4nfdi.de/entity/Q54225172007-10-26Paper
MV-LIKE ALGEBRAS ASSOCIATED TO λ-ORTHOLATTICES*2007-10-22Paper
https://portal.mardi4nfdi.de/entity/Q35962282007-08-29Paper
https://portal.mardi4nfdi.de/entity/Q35962292007-08-29Paper
A Characterization of P-Compatible Varieties2007-07-13Paper
https://portal.mardi4nfdi.de/entity/Q52939652007-07-05Paper
https://portal.mardi4nfdi.de/entity/Q34281362007-03-27Paper
https://portal.mardi4nfdi.de/entity/Q34281412007-03-27Paper
Normalization of $MV$-algebras2007-03-08Paper
EXTERNALIZATION OF LATTICES2007-02-16Paper
SAI-LATTICES AND RINGOIDS2007-02-15Paper
Orthomodular semilattices2007-02-02Paper
https://portal.mardi4nfdi.de/entity/Q34177012007-01-30Paper
https://portal.mardi4nfdi.de/entity/Q34106072006-11-29Paper
https://portal.mardi4nfdi.de/entity/Q53937682006-10-24Paper
https://portal.mardi4nfdi.de/entity/Q53937992006-10-24Paper
https://portal.mardi4nfdi.de/entity/Q56961682006-10-05Paper
https://portal.mardi4nfdi.de/entity/Q54895502006-09-28Paper
An implication in orthologic2006-09-28Paper
https://portal.mardi4nfdi.de/entity/Q54881332006-09-13Paper
https://portal.mardi4nfdi.de/entity/Q54882032006-09-13Paper
https://portal.mardi4nfdi.de/entity/Q54764022006-07-14Paper
Note on algebraic interior systems2006-07-14Paper
Distributivity of bounded lattices with sectionally antitone involutions2006-07-14Paper
The shifting lemma and shifting lattice identities2006-07-12Paper
WEAK FUZZY IMPLICATIONS ALGEBRAS AND INDUCED STRUCTURES2006-06-29Paper
https://portal.mardi4nfdi.de/entity/Q54756692006-06-27Paper
https://portal.mardi4nfdi.de/entity/Q54723252006-06-09Paper
https://portal.mardi4nfdi.de/entity/Q52910012006-05-09Paper
https://portal.mardi4nfdi.de/entity/Q33747762006-02-22Paper
https://portal.mardi4nfdi.de/entity/Q33747772006-02-22Paper
Annihilators in Normal Autometrized Algebras2006-02-14Paper
A Note on Triangular Schemes for Weak Congruences2006-02-14Paper
Implication in MV-algebras2006-01-06Paper
https://portal.mardi4nfdi.de/entity/Q57018172005-11-04Paper
https://portal.mardi4nfdi.de/entity/Q56946382005-10-04Paper
A groupoid characterization of Boolean algebras2005-09-12Paper
https://portal.mardi4nfdi.de/entity/Q30243912005-07-01Paper
https://portal.mardi4nfdi.de/entity/Q46802382005-06-07Paper
https://portal.mardi4nfdi.de/entity/Q46738722005-05-09Paper
https://portal.mardi4nfdi.de/entity/Q46738732005-05-09Paper
MODIFICATIONS OF MV-ALGEBRAS CORRESPONDING TO STRONG ORTHOLATTICES2005-05-03Paper
Bounded lattices with antitone involutions and properties of MV-algebras2005-04-09Paper
Orthorings2005-04-09Paper
https://portal.mardi4nfdi.de/entity/Q46624652005-03-30Paper
https://portal.mardi4nfdi.de/entity/Q46587802005-03-21Paper
https://portal.mardi4nfdi.de/entity/Q46602042005-03-21Paper
Simple axioms for orthomodular implication algebras2005-03-15Paper
https://portal.mardi4nfdi.de/entity/Q46570082005-03-14Paper
On schemes for congruence distributivity2005-03-11Paper
https://portal.mardi4nfdi.de/entity/Q46509362005-02-18Paper
https://portal.mardi4nfdi.de/entity/Q48288032004-11-26Paper
A scheme for congruence semidistributivity2004-11-01Paper
https://portal.mardi4nfdi.de/entity/Q48175942004-09-15Paper
https://portal.mardi4nfdi.de/entity/Q48164662004-09-08Paper
https://portal.mardi4nfdi.de/entity/Q48164952004-09-08Paper
https://portal.mardi4nfdi.de/entity/Q48156772004-09-07Paper
https://portal.mardi4nfdi.de/entity/Q48156922004-09-07Paper
https://portal.mardi4nfdi.de/entity/Q48103892004-09-06Paper
https://portal.mardi4nfdi.de/entity/Q44666522004-06-08Paper
https://portal.mardi4nfdi.de/entity/Q44666532004-06-08Paper
A NOTE ON CONGRUENCE UNIFORMITY FOR SINGLE ALGEBRAS2004-05-27Paper
https://portal.mardi4nfdi.de/entity/Q44615192004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44616292004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44616302004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44616312004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44616512004-05-18Paper
https://portal.mardi4nfdi.de/entity/Q44350632003-11-26Paper
https://portal.mardi4nfdi.de/entity/Q48046612003-11-19Paper
TERNARY t-DEDUCTIVE SYSTEMS2003-11-16Paper
Congruence submodularity2003-10-13Paper
Quasi-implication algebras2003-10-13Paper
Congruence classes in Brouwerian semilattices2003-07-25Paper
https://portal.mardi4nfdi.de/entity/Q47806402003-07-22Paper
https://portal.mardi4nfdi.de/entity/Q48075562003-05-19Paper
https://portal.mardi4nfdi.de/entity/Q48027202003-04-23Paper
Semiregularity of congruences implies congruence modularity at 02003-03-31Paper
A note on normal varieties of monounary algebras2003-03-31Paper
Some modifications of congruence permutability and dually congruence regular varieties2003-03-22Paper
The lattice of deductive systems on Hilbert algebras2003-03-18Paper
https://portal.mardi4nfdi.de/entity/Q47920812003-02-10Paper
https://portal.mardi4nfdi.de/entity/Q44383412003-01-01Paper
DUALITY OF NORMALLY PRESENTED VARIETIES2002-12-15Paper
https://portal.mardi4nfdi.de/entity/Q45470122002-12-10Paper
https://portal.mardi4nfdi.de/entity/Q47838072002-12-09Paper
https://portal.mardi4nfdi.de/entity/Q45478772002-11-04Paper
https://portal.mardi4nfdi.de/entity/Q47803002002-11-03Paper
https://portal.mardi4nfdi.de/entity/Q45088642002-09-26Paper
https://portal.mardi4nfdi.de/entity/Q45426082002-08-04Paper
Congruence kernels in weakly regular varieties2002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q27598262002-07-18Paper
https://portal.mardi4nfdi.de/entity/Q27598272002-07-16Paper
Orthomodular implication algebras2002-04-11Paper
Relatively complemented ordered sets2002-03-24Paper
Hypersubstitutions in orthomodular lattices2002-03-24Paper
Balanced congruences2002-03-24Paper
https://portal.mardi4nfdi.de/entity/Q27775132002-03-07Paper
https://portal.mardi4nfdi.de/entity/Q44342932002-01-01Paper
ORDER ALGEBRAS2002-01-01Paper
Ideals and the binary discriminator in universal algebra2001-12-16Paper
REGULARITY OF GENERALIZED MV-ALGEBRAS2001-11-18Paper
Modyfications of Csákány's Theorem2001-10-30Paper
Ring-like operations is pseudocomplemented semilattices2001-09-13Paper
https://portal.mardi4nfdi.de/entity/Q45088482001-08-28Paper
https://portal.mardi4nfdi.de/entity/Q45109102001-07-26Paper
https://portal.mardi4nfdi.de/entity/Q45109112001-07-26Paper
https://portal.mardi4nfdi.de/entity/Q44983742001-07-19Paper
https://portal.mardi4nfdi.de/entity/Q27136842001-06-10Paper
https://portal.mardi4nfdi.de/entity/Q27136932001-06-10Paper
https://portal.mardi4nfdi.de/entity/Q27137122001-06-10Paper
https://portal.mardi4nfdi.de/entity/Q45224052001-03-22Paper
https://portal.mardi4nfdi.de/entity/Q45088632001-03-18Paper
https://portal.mardi4nfdi.de/entity/Q45088242001-02-27Paper
https://portal.mardi4nfdi.de/entity/Q45088622001-02-16Paper
IDEALS AND CONGRUENCES IN GENERALIZED MV-ALGEBRAS2001-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45004742001-01-09Paper
https://portal.mardi4nfdi.de/entity/Q45224062000-12-20Paper
https://portal.mardi4nfdi.de/entity/Q45169822000-11-20Paper
https://portal.mardi4nfdi.de/entity/Q49506722000-11-20Paper
Lattices of quasiorders on universal algebras2000-11-13Paper
Algebraic duality of constant algebras2000-11-13Paper
https://portal.mardi4nfdi.de/entity/Q45095872000-10-18Paper
https://portal.mardi4nfdi.de/entity/Q45088262000-10-03Paper
https://portal.mardi4nfdi.de/entity/Q49447602000-03-22Paper
https://portal.mardi4nfdi.de/entity/Q42240682000-03-13Paper
Lattices of compatible relations satisfying a set of formulas2000-02-27Paper
https://portal.mardi4nfdi.de/entity/Q42106632000-01-20Paper
https://portal.mardi4nfdi.de/entity/Q42637341999-11-29Paper
https://portal.mardi4nfdi.de/entity/Q42106561999-09-29Paper
https://portal.mardi4nfdi.de/entity/Q42618281999-09-14Paper
https://portal.mardi4nfdi.de/entity/Q42617641999-09-12Paper
https://portal.mardi4nfdi.de/entity/Q42240721999-07-05Paper
https://portal.mardi4nfdi.de/entity/Q43956461999-06-14Paper
https://portal.mardi4nfdi.de/entity/Q42434791999-05-18Paper
Congruence identities and their local versions1999-04-12Paper
https://portal.mardi4nfdi.de/entity/Q43961221999-01-05Paper
https://portal.mardi4nfdi.de/entity/Q43912801998-12-10Paper
A polynomial characterization of congruence classes1998-11-23Paper
Finite basis of ideal terms in ideal determined varieties1998-11-23Paper
https://portal.mardi4nfdi.de/entity/Q42106571998-11-09Paper
https://portal.mardi4nfdi.de/entity/Q42099611998-09-28Paper
Congruences in ordered sets1998-09-28Paper
Congruences and ideals in ternary rings1998-09-28Paper
Compact universal relation in varieties with constants1998-09-28Paper
https://portal.mardi4nfdi.de/entity/Q43897081998-05-18Paper
https://portal.mardi4nfdi.de/entity/Q43881861998-05-17Paper
AN ALGEBRAIC APPROACH TO PARTIAL LATTICES1998-02-04Paper
https://portal.mardi4nfdi.de/entity/Q43548861997-12-22Paper
Pseudosemirings induced by ortholattices1997-12-10Paper
https://portal.mardi4nfdi.de/entity/Q43688341997-12-10Paper
https://portal.mardi4nfdi.de/entity/Q43394681997-10-06Paper
https://portal.mardi4nfdi.de/entity/Q43442541997-07-15Paper
https://portal.mardi4nfdi.de/entity/Q56906071997-05-11Paper
https://portal.mardi4nfdi.de/entity/Q48909811997-05-11Paper
https://portal.mardi4nfdi.de/entity/Q48965221997-05-11Paper
https://portal.mardi4nfdi.de/entity/Q43358151997-05-04Paper
https://portal.mardi4nfdi.de/entity/Q31285781997-04-17Paper
https://portal.mardi4nfdi.de/entity/Q47151311997-03-16Paper
https://portal.mardi4nfdi.de/entity/Q48869411997-02-23Paper
Semilattices of finite arithmetical algebras1996-11-04Paper
https://portal.mardi4nfdi.de/entity/Q48869291996-11-04Paper
https://portal.mardi4nfdi.de/entity/Q48909801996-08-27Paper
https://portal.mardi4nfdi.de/entity/Q48810931996-08-21Paper
Normally presented varieties1996-07-24Paper
https://portal.mardi4nfdi.de/entity/Q48706831996-07-01Paper
https://portal.mardi4nfdi.de/entity/Q48828761996-06-30Paper
https://portal.mardi4nfdi.de/entity/Q48828771996-06-30Paper
https://portal.mardi4nfdi.de/entity/Q48768541996-05-06Paper
https://portal.mardi4nfdi.de/entity/Q48747951996-04-28Paper
https://portal.mardi4nfdi.de/entity/Q48644781996-04-22Paper
$\Sigma$-isomorphic algebraic structures1996-03-17Paper
https://portal.mardi4nfdi.de/entity/Q48578931996-03-17Paper
https://portal.mardi4nfdi.de/entity/Q48644891996-03-05Paper
https://portal.mardi4nfdi.de/entity/Q48391271995-09-21Paper
https://portal.mardi4nfdi.de/entity/Q48451711995-09-04Paper
A REPRESENTATION OF THE ALGEBRA OF QUASIORDERED LOGIC BY BINARY FUNCTIONS1995-08-01Paper
https://portal.mardi4nfdi.de/entity/Q46975141995-05-01Paper
https://portal.mardi4nfdi.de/entity/Q31402771995-04-24Paper
Quasiorders on universal algebras1995-04-20Paper
https://portal.mardi4nfdi.de/entity/Q47632731995-04-11Paper
https://portal.mardi4nfdi.de/entity/Q43237431995-02-20Paper
https://portal.mardi4nfdi.de/entity/Q43216651995-01-30Paper
https://portal.mardi4nfdi.de/entity/Q43114471994-10-26Paper
https://portal.mardi4nfdi.de/entity/Q43114481994-10-26Paper
Weak coherence of congruences1994-09-28Paper
Varieties having distributive lattices of quasiorders1994-09-19Paper
https://portal.mardi4nfdi.de/entity/Q43035011994-08-25Paper
https://portal.mardi4nfdi.de/entity/Q42965481994-06-19Paper
https://portal.mardi4nfdi.de/entity/Q42913461994-05-09Paper
https://portal.mardi4nfdi.de/entity/Q42896011994-05-08Paper
https://portal.mardi4nfdi.de/entity/Q42896021994-05-08Paper
https://portal.mardi4nfdi.de/entity/Q31381111993-10-18Paper
Characterizations of Hamiltonian algebras1993-09-21Paper
Varieties with modular and distributive lattices of symmetric or reflexive relations1993-09-21Paper
https://portal.mardi4nfdi.de/entity/Q46955181993-06-29Paper
https://portal.mardi4nfdi.de/entity/Q46955201993-06-29Paper
https://portal.mardi4nfdi.de/entity/Q40343631993-05-16Paper
https://portal.mardi4nfdi.de/entity/Q40187361993-01-16Paper
https://portal.mardi4nfdi.de/entity/Q40130511992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40130531992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40130721992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q40020191992-09-18Paper
A note on representation of lattices by tolerances1992-08-13Paper
https://portal.mardi4nfdi.de/entity/Q39827281992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q39769601992-06-25Paper
https://portal.mardi4nfdi.de/entity/Q34817591990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34900561990-01-01Paper
Forms of the congruence principality1989-01-01Paper
Forbidden configurations for distributive and modular ordered sets1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30338141989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38251271989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38340971989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38340981989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42054801989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37942351988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38047621988-01-01Paper
Algebras whose principal congruences form a sublattice of the congruence lattice1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38341051988-01-01Paper
Tolerances in congruence permutable algebras1988-01-01Paper
A characterization of tolerance-distributive tree semilattices1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37623871987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37756051987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38138501987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47263151987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37261821986-01-01Paper
Weakly regular algebras in varieties with principal compact congruences1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37391801986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37524481986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37605911986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47237901986-01-01Paper
On extensions of cyclic orders1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36953141985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36997501985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37039361985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37055041985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37141231985-01-01Paper
Varieties with directly decomposable subalgebras and homomorphisms1984-01-01Paper
A Mal'cev condition for congruence principal permutable varieties1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33204411984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36917981984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37357661984-01-01Paper
Coherence, regularity and permutability of congruences1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32167081983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33171631983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33240011983-01-01Paper
Relational characterizations of permutable and $n$-permutable varieties1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39398621982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39490991982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39521561982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39607571982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39646381982-01-01Paper
Distributivity and modularity of lattices of tolerance relations1981-01-01Paper
Two characterizations of locally order-polynomially complete lattices1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39367951981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39430151981-01-01Paper
Characterizations of relational blocks1980-01-01Paper
Regularity and permutability of congruences1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38891151980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38907481980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38955171980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38955261980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39015651980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39197611980-01-01Paper
Polynomially determined tolerances1980-01-01Paper
Decompositions of homomorphisms1979-01-01Paper
The extension property of orderings1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38808851979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41863801979-01-01Paper
Tolerances and convexity1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41950101979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30488841978-01-01Paper
Homomorphisms of direct products of algebras1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41707691978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41720981978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41721011978-01-01Paper
Two constructions of compatible relations1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41248781977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41288341977-01-01Paper
Ideals of binary relational systems1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41497821977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41549161977-01-01Paper
Minimal compatible tolerances on lattices1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41720941977-01-01Paper
Weakly associative lattices and tolerance relations1976-01-01Paper
On existence conditions for compatible tolerances1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41119701976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41151821976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41248731976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41549141976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56851211975-01-01Paper
Systems of equations and tolerance relations1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40734141975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40749441975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40749461975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40996911975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q44049571974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q44049581974-01-01Paper
Tolerance relation on lattices1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47704341973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47704351973-01-01Paper
Implications in pseudocomplemented and Stone lattices0001-01-03Paper
A characterization of permutability of 2-uniform tolerances on posets0001-01-03Paper
Induced orthogonality in semilattices with 0 and in pseudocomplemented lattices and posets0001-01-03Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Ivan Chajda