Intuitionistic and linear logics are good examples of "weird" logics that have had some relevance to computing.
Intuitionistic: Curry-Howard, Dependent Type Theory, formal methods.
Linear logic: Rust.
I believe it! But I was talking about my philosophy research, in value theory and art history. I don't see the irony.
I think the irony is that all those weird logics turned out to not just be useful for logic... but literally actually really useful! Like people make lots of money based off of them