Soft Computing

, Volume 21, Issue 10, pp 2521–2529

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

Focus

DOI: 10.1007/s00500-017-2570-2

Cite this article as:
Rump, W. Soft Comput (2017) 21: 2521. doi:10.1007/s00500-017-2570-2
  • 49 Downloads

Abstract

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.

Keywords

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