Predicate Wars is a card game based heavily on predicate logic, including formal statements, and logical inferences, with highly flexible gameplay. A Calvinball-like game but for actual nerds who actually want to win the game. Rulebook.
(this repo was abandoned. sorry)