Orthocomplete pseudoMV-algebras

From MaRDI portal
Publication:2964406

DOI10.1080/03081079.2016.1220008zbMATH Open1356.06009arXiv1505.04304OpenAlexW2186255523MaRDI QIDQ2964406FDOQ2964406


Authors: Anatolij Dvurečenskij, Omid Zahiri Edit this on Wikidata


Publication date: 24 February 2017

Published in: International Journal of General Systems (Search for Journal in Brave)

Abstract: Pseudo MV-algebras are a non-commutative generalization of MV-algebras. The main purpose of the paper is to introduce and investigate orthocomplete pseudo MV-algebras. We use the concepts of projectable pseudo MV-algebras and large pseudo MV-subalgebras to introduce orthocomplete pseudo MV-algebras. Then we apply a generalization of the Mundici's functor to an orthocompletion of an representable ell-group to prove that each representable pseudo MV-algebra has an orthocompletion. In particular, our results are valid also for MV-algebras.


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




Recommendations




Cites Work


Cited In (3)





This page was built for publication: Orthocomplete pseudoMV-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2964406)