The logic just corresponding to (non-commutative) involutive quantales, which was introduced by Wendy MacCaull, is reconsidered in order to obtain a cut-free sequent calculus formulation, and the completeness theorem (with respect to the involutive quantale model ) for this logic is proved using a new admissible rule.
展开▼