Robbins' lemma is a result in mathematical logic and model theory, which is used in the context of propositional logic and the foundations of mathematics. It is named after the logician and philosopher Herbert Robbins. The lemma states that if a certain set of conditions is met within a Boolean algebra, particularly related to the manipulation of logical statements, then those conditions can be formalized using a specific type of logical system.
New to topics? Read the docs here!