pith. sign in

Ivan Chajda

Identifiers

  • name variant Ivan Chajda 0.60 · backfill

Papers (25)

  1. How to introduce the connective implication in orthomodular posets math.LO · 2019 · author #1
  2. Semimodules over commutative semirings and modules over unitary commutative rings math.RA · 2019 · author #1
  3. Unsharp residuation in effect algebras math.LO · 2019 · author #1
  4. Sectionally pseudocomplemented posets math.RA · 2019 · author #1
  5. Residuation in lattice effect algebras math.LO · 2019 · author #1
  6. Relatively residuated lattices and posets math.LO · 2019 · author #1
  7. Ideals of direct products of rings math.RA · 2019 · author #1
  8. Directly decomposable ideals and congruence kernels of commutative semirings math.RA · 2019 · author #1
  9. Residuated operators and Dedekind-MacNeille completion math.LO · 2018 · author #1
  10. Residuation in modular lattices and posets math.LO · 2018 · author #1
  11. Involutive right-residuated l-groupoids math.LO · 2018 · author #1
  12. Left residuated operators induced by posets with a unary operation math.LO · 2018 · author #1
  13. Set Representation of Dynamic De Morgan algebras math.LO · 2018 · author #1
  14. Residuation in non-associative MV-algebras math.LO · 2018 · author #1
  15. Orthomodular lattices can be converted into left residuated l-groupoids math.RA · 2018 · author #1
  16. Residuated operators in complemented posets math.LO · 2018 · author #1
  17. On a variety of commutative multiplicatively idempotent semirings math.RA · 2018 · author #1
  18. Coupled right orthosemirings induced by orthomodular lattices math.RA · 2018 · author #1
  19. General coupled semirings of residuated lattices math.RA · 2018 · author #1
  20. When does a semiring become a residuated lattice? math.RA · 2018 · author #1
  21. Dynamic logic assigned to automata cs.LO · 2018 · author #1
  22. Galois connections and tense operators on q-effect algebras math.LO · 2018 · author #1
  23. A note on residuated po-groupoids and lattices with antitone involutions math.RA · 2018 · author #1
  24. Transition operators assigned to physical systems math.LO · 2015 · author #1
  25. Tolerances as images of congruences in varieties defined by linear identities math.RA · 2012 · author #1

Mentions

  • 1510.02972 #1 · backfill · confidence 0.70 Ivan Chajda
  • 1207.1733 #1 · backfill · confidence 0.70 Ivan Chajda

Frequent Coauthors