How to introduce the connective implication in orthomodular posets

DOI10.1142/S1793557121500662zbMath1472.06008arXiv1907.10539OpenAlexW3028661280MaRDI QIDQ4985506

Helmut Länger, Ivan Chajda

Publication date: 23 April 2021

Published in: Asian-European Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

orthomodular posetpartial monoidconnective implicationunsharp adjointnessunsharp residuated poset

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Quantum logic (03G12) Algebraic aspects of posets (06A11)

Related Items (2)

A logical characterization of multi-adjoint algebras ⋮ Sequent Calculi for Orthologic with Strict Implication

Cites Work

• Residuated lattices. An algebraic glimpse at substructural logics
• Residuation in orthomodular lattices
• Residuation in non-associative MV-algebras
• Orthomodular lattices can be converted into left residuated l-groupoids
• Relatively residuated lattices and posets

This page was built for publication: How to introduce the connective implication in orthomodular posets