An implication in orthologic

dc.creatorChajda, I.
dc.creatorHalas, R.
dc.date2002-10-11
dc.date2003-04-25
dc.date.accessioned2026-07-07T06:05:13Z
dc.date.available2026-07-07T06:05:13Z
dc.descriptionWe 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.
dc.description9 pages, 2 figures; revised version for conference volume QS 2002
dc.identifierhttps://arxiv.org/abs/quant-ph/0210083
dc.identifierhttp://arxiv.org/abs/quant-ph/0210083
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/90564
dc.subjectQuantum Physics
dc.titleAn implication in orthologic
dc.typetext

Files

Collections