A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic (Q6150668)
From MaRDI portal
scientific article; zbMATH DE number 7802220
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic |
scientific article; zbMATH DE number 7802220 |
Statements
A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic (English)
0 references
9 February 2024
0 references
causal anomaly
0 references
first degree entailment
0 references
indeterminate
0 references
Reichenbach's quantum mechanics logic
0 references
three-valued logic
0 references
semantic tableaux
0 references
0 references
