[ogogmad]

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.