Soft Computing

, Volume 21, Issue 10, pp 2521–2529

Quantum B-algebras: their omnipresence in algebraic logic and beyond



Quantum B-algebras are implicational subreducts of quantales. Their ubiquity and unifying rôle in algebraic logic and beyond is discussed in a brief survey, with old and new examples included. A special section is devoted to CKL-algebras (alias HBCK-algebras). Using a natural embedding of any CKL-algebra into a semibrace, Cornish’s identity is derived, which yields a new syntactic proof of Wroński’s conjecture that CKL-algebras form a variety.


Quantum B-algebra CKL-algebra Semibrace Residuated poset Partially ordered group 

Copyright information

© Springer-Verlag Berlin Heidelberg 2017

Authors and Affiliations

  1. 1.Institute for Algebra and Number TheoryUniversity of StuttgartStuttgartGermany

Personalised recommendations