>>11487596yes, quantum mechanics is linear algebra with relevance logic embedded inside the matrices. however the matrices themselves are boolean.
if you want relevance logic for the proofs and outer structure, you would need to use a RNG or gradient function to gradiate each proof. it would be weird, try inventing a simple closed relevance logic field with an operator or two.
as far as the coronachan, just google each on wiki and copypasta to powerpoint!