Syllogisms can be highly formal. I'm sure you can get a java compiler to do syllogisms.

I recommend checking Haskell, some interesting logic there. Or things like Coq if you're brave enough for those woods