Coupled Right Orthosemirings Induced by Orthomodular Lattices

L. P. Belluce, A. Di Nola and B. Gerla established a connection between MV-algebras and (dually) lattice ordered semirings by means of so-called coupled semirings. A similar connection was found for basic algebras and semilattice ordered right near semirings by the authors. The aim of this paper is to derive an analogous connection for orthomodular lattices and certain semilattice ordered near semirings via so-called coupled right orthosemirings.

[1]  John Harding,et al.  Algebraic Aspects of Orthomodular Lattices , 2000 .

[2]  Adam Grabowski,et al.  Orthomodular Lattices , 2008, Formaliz. Math..

[3]  Ivan Chajda,et al.  Commutative basic algebras and coupled near semirings , 2015, Soft Comput..

[4]  Antonio di Nola,et al.  MV-semirings and their Sheaf Representations , 2013, Order.

[5]  Brunella Gerla.  MANY VALUED LOGICS AND SEMIRINGS , 2003 .

[6]  Arto Salomaa,et al.  Semirings, Automata, Languages , 1985, EATCS Monographs on Theoretical Computer Science.

[7]  Jonathan S. Golan,et al.  The theory of semirings with applications in mathematics and theoretical computer science , 1992, Pitman monographs and surveys in pure and applied mathematics.

[8]  Ladislav Beran,et al.  Orthomodular Lattices: Algebraic Approach , 1985 .