Dual quantum B-algebras

Abstract

Quantum B-algebras as implicational subreducts of quantales were introduced by Rump and Yang. They cover the majority of implicational algebras and provide a unified semantics for a wide class of algebraic logics. Some concepts for quantales survive in the framework of quantum B-algebras. In this paper, we first introduce the concept of dual quantum B-algebras (Girard quantum B-algebras). Next, we prove that every dual quantum B-algebra is a residuated poset and that complete dual quantum B-algebras and dual quantales are equivalent to each other. Further, we consider the construction of Girard quantum B-algebras from dual quantum B-algebras.