On a logic of involutive quantales
Norihiro Kamide · Mathematical logic quarterly · 2005
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. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)