Tense logic based on finite orthomodular posets

DOI10.1007/S10773-023-05327-7arXiv2208.09946MaRDI QIDQ6103758FDOQ6103758

Authors: Ivan Chajda, Helmut Länger 

Publication date: 27 June 2023

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

Abstract: It is widely accepted that the logic of quantum mechanics is based on orthomodular posets. However, such a logic is not dynamic in the sense that it does not incorporate time dimension. To fill this gap, we introduce certain tense operators on such a logic in an inexact way, but still satisfying requirements asked on tense operators in the classical logic based on Boolean algebras or in various non-classical logics. Our construction of tense operators works perfectly when the orthomodular poset in question is finite. We investigate the behaviour of these tense operators, e.g. we show that some of them form a dynamic pair. Moreover, we prove that if the tense operators preserve one of the inexact connectives conjunction or implication as defined by the authors recently in another paper, then they also preserve the other one. Finally, we show how to construct the binary relation of time preference on a given time set provided the tense operators are given, up to equivalence induced by natural quasiorders.

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

zbMATH Keywords

adjoint pairtense logictense operatorsorthomodular posetlogic 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

• The logic of quantum mechanics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Tense operators on De Morgan algebras
• Algebraic approach to tense operators
• Galois connections and tense operators on q-effect algebras
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
• Algebraic structures formalizing the logic of effect algebras incorporating time dimension

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6103758)