2002/10/11 by Ivan Chajda, I. Chajda, Radomír Halaš +3 · 1 citation
Computer Science · Physics and Astronomy · #Advanced Algebra and Logic #FOS: Physical sciences #Logic, Reasoning, and Knowledge #Quantum Physics (quant-ph) #Rough Sets and Fuzzy Logic #quant-ph
paper · pdf · doi:10.48550/arxiv.quant-ph/0210083
9 pages, 2 figures; revised version for conference volume QS 2002
openalex publication_date 2002/10/11 · arxiv created 2003/04/25 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.