Tense logic based on finite orthomodular posets (Q6103758)
From MaRDI portal
scientific article; zbMATH DE number 7703063
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tense logic based on finite orthomodular posets |
scientific article; zbMATH DE number 7703063 |
Statements
Tense logic based on finite orthomodular posets (English)
0 references
27 June 2023
0 references
orthomodular poset
0 references
tense operators
0 references
logic of quantum mechanics
0 references
tense logic
0 references
inexact conjunction
0 references
inexact implication
0 references
adjoint pair
0 references
time frame
0 references
dynamic pair
0 references
