Tense logic based on finite orthomodular posets

DOI10.1007/S10773-023-05327-7MaRDI QIDQ6103758zbMATH OpenFDO

Authors Ivan Chajda, Helmut Länger

Publication date 27 June 2023

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

Copyright license Creative Commons Attribution 4.0 International

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)

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.

Cites work

• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1416396 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• scientific article; zbMATH DE number 3027414 (Why is no real title available?)
• Algebraic approach to tense operators
• Galois connections and tense operators on q-effect algebras
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Tense operators on De Morgan algebras
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
• The logic of quantum mechanics
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse

Cited in

(3)

• scientific article; zbMATH DE number 7561320 (Why is no real title available?)
• 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)