Home
File Metadata
quant-ph_0210083.txt
Annotation: dorsal/arxiv

dorsal/arxiv

Added by Arxiv Bot | Added: 2026-03-02 18:01 | Views: 1 | Source: arXiv Dataset IDs (Model)

An implication in orthologic

Authors	I. Chajda, R. Halas
Categories	quant-ph
ArXiv ID	quant-ph/0210083
URL	https://arxiv.org/abs/quant-ph/0210083

Abstract

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.

{
  "annotation_id": "ec98126f-28e2-4163-8682-5b4c9b3f95aa",
  "date_created": "2026-03-02T18:01:52.922000Z",
  "date_modified": "2026-03-02T18:01:52.922000Z",
  "file_hash": "398b6d1e53a9431bba80c98b800862a6644af824960bd327e92eeda36b537771",
  "private": false,
  "record": {
    "abstract": "We involve a certain propositional logic based on ortholattices. We\ncharacterize the implicational reduct of such a logic and we show that its\nalgebraic counterpart is the so-called orthosemilattice. Properties of\ncongruences and congruence kernels of these algebras are described.",
    "arxiv_id": "quant-ph/0210083",
    "authors": [
      "I. Chajda",
      "R. Halas"
    ],
    "categories": [
      "quant-ph"
    ],
    "title": "An implication in orthologic",
    "url": "https://arxiv.org/abs/quant-ph/0210083"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "2801a80d-2c88-4b47-977e-31e0e695cd57",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}