An implication in orthologic
量子物理
2007-05-23 v2
摘要
We involve a certain propositional logic based on ortholattices. We characterize the implicational reduct of such a logic and we show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described.
引用
@article{arxiv.quant-ph/0210083,
title = {An implication in orthologic},
author = {I. Chajda and R. Halas},
journal= {arXiv preprint arXiv:quant-ph/0210083},
year = {2007}
}
备注
9 pages, 2 figures; revised version for conference volume QS 2002