Tense logic based on finite orthomodular posets

DOI10.1007/s10773-023-05327-7arXiv2208.09946MaRDI QIDQ6103758

Ivan Chajda, Helmut Länger

Publication date: 27 June 2023

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

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

zbMATH Keywords

orthomodular posettense logicadjoint pairtense operatorslogic of quantum mechanicstime framedynamic pairinexact conjunctioninexact implication

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Algebraic logic (03Gxx)

Cites Work

• Orthomodular structures as quantum logics. Transl. from the Slovak
• Galois connections and tense operators on q-effect algebras
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• The logic of quantum mechanics
• Tense operators on De Morgan algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tense logic based on finite orthomodular posets