Algebraic structures formalizing the logic of effect algebras incorporating time dimension

DOI10.1515/ms-2024-0098MaRDI QIDQ6660461

Ivan Chajda, Helmut Länger

Publication date: 10 January 2025

Published in: Mathematica Slovaca (Search for Journal in Brave)

zbMATH Keywords

tense logicimplicationeffect algebraadjoint operatoradjoint pairtense operatortime frame

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Quantum logic (03G12) Algebraic aspects of posets (06A11) Temporal logic (03B44) Partial algebras (08A55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effect algebras and unsharp quantum logics.
• Dynamic logic assigned to automata
• Properties of implication in effect algebras
• The logic induced by effect algebras
• Dynamic effect algebras
• Tense logic based on finite orthomodular posets
• Operator residuation in orthomodular posets of finite height

This page was built for publication: Algebraic structures formalizing the logic of effect algebras incorporating time dimension