LK, LJ, Dual Intuitionistic Logic, and Quantum Logic¶

Aoyama, H. (2004). LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.

Type: Unclassified
Intellectual base: Unclassified
Year: 2004
DOI: 10.1305/ndjfl/1099238445
Link: https://doi.org/10.1305/ndjfl/1099238445

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Paraconsistent logic
- The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

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:ba92a344c8ff · see in the full table