https://oeis.org/wiki/Sign_relation#Semiotic_equivalence_rel...
https://ncatlab.org/nlab/search?query=SEMIOTIC
https://ncatlab.org/nlab/show/Science+of+Logic
https://ncatlab.org/nlab/show/Science+of+Logic