Proof theory for minimal quantum logic II

Nishimura, H. (1994). Proof theory for minimal quantum logic II.

Type

Unclassified

Intellectual base

Unclassified

Year

1994

DOI

10.1007/bf00670687

Link

https://doi.org/10.1007/bf00670687

Cited by

2 citations across 1 artifact.

Domain-specific

• Quantum logic
  • High-level mathematical and philosophical treatment only; no quantum-device procedure is provided.
  • … orthomodularity and failure of distributivity, state and probability assignment, inference interpretation and contrast with classical Boolean logic and alternative quantum logics are explicit. to An applied instance preserves the invariant under changed notation, scale, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:05041d67f413 · see in the full table