Residuated operators and Dedekind-MacNeille completion

DOI10.1007/978-3-030-52163-9_5zbMath1500.06003arXiv1812.09616OpenAlexW2905668904MaRDI QIDQ2658302

Ivan Chajda, Jan Paseka, Helmut Länger

Publication date: 19 March 2021

Full work available at URL: https://arxiv.org/abs/1812.09616

zbMATH Keywords

atomBoolean algebraorthomodular posetDedekind-MacNeille completionGreechie diagramdistributive posetBoolean posetpseudo-orthomodular posetleft residuated latticerelatively pseudocomplemented posetGreechie logicoperator left residuated posetorthocomplete posetposet with antitone involution

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Complemented lattices, orthocomplemented lattices and posets (06C15) Pseudocomplemented lattices (06D15) Algebraic aspects of posets (06A11) Generalizations of Boolean algebras (06E75)

This page was built for publication: Residuated operators and Dedekind-MacNeille completion