Galois connections and tense operators on q-effect algebras

DOI10.1016/J.FSS.2015.05.010zbMath1387.03071arXiv1809.03773OpenAlexW827298246MaRDI QIDQ1677935

Jan Paseka, Ivan Chajda

Publication date: 14 November 2017

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.03773

zbMATH Keywords

effect algebraGalois q-connectionJauch-Piron q-stateq-effect algebraq-representable q-effect algebraq-tense operators

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (1)

Tense logic based on finite orthomodular posets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On tense MV-algebras
• How to produce S-tense operators on lattice effect algebras
• Effect algebras and unsharp quantum logics.
• Algebraic axiomatization of tense intuitionistic logic
• Homogeneous orthocomplete effect algebras are covered by MV-algebras
• Constructive modal logics. I
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Algebraic foundations of many-valued reasoning
• Operators on MV-algebras and their representations.
• Dynamic effect algebras and their representations
• Basic decomposition of elements and Jauch-Piron effect algebras
• Dynamic effect algebras
• Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups
• Intuitionistic tense and modal logic
• A dynamic Effect Algebras with Dual Operation

This page was built for publication: Galois connections and tense operators on q-effect algebras