Log-odds are perfectly isomorphic with probabilities and satisfies Cox's Theorem. Saying that log-odds are not what probabilities are is as non-sequiteur as saying 2+2 isn't a valid representation of 4.
Bayes theorem assumes no such thing as non-zero probability, it assumes Real Numbered probabilities, as it is in fact a perfectly valid statement of real-number arithmetic in any other context. It just so happens to be that this arithmetic expression is undefined for when certain variables are 0, and is an identity (equal to 1) when certain variables are 1. Neither are particularly interesting.
Bayes Theorem is interesting because it becomes propositional logic when you apply it to a limit going towards 1 or 0.
Real life applications are not my expertise, but I know my groups, categories and types. 0 and 1 are not probabilities, just as positive and negative infinity are not Real Numbers. This is a truth derived directly from Russel's Axioms, which is the definition basis for all modern mathematics.
When you say P(A) = 1 you are not using probabilities anymore, At best your are doing propositional logic, at worst you'll get a type error. If you want to be as sure as you can, let credence be 1 - epsilon for arbitrarily small positive real epsilon.
Clearly log-odds aren't perfectly isomorphic with multiplicative probabilities, since clearly one allows probabilities of 0 and 1 and the other doesn't.
Bayes's theorem does assume nonzero probability, as you can observe by examining its proof.
You can't derive properties of probability from Russell's axioms, because these describe set theory and ...
I was very interested in the discussions and opinions that grew out of the last time this was played, but find digging through 800+ comments for a new game to start on the same thread annoying. I also don't want this game ruined by a potential sock puppet (whom ever it may be). So here's a non-sockpuppetiered Irrationality Game, if there's still interest. If there isn't, downvote to oblivion!
The original rules:
Enjoy!