There is a feature request about enabling the use of infix, prefix and postfix notation like in Mathcad. Then you can define operators ∧.f, ∨.f and ¬.f for the fuzzy logic.

I remember a rare table comparing Boolean algebra, sets algebra and probability theory by Andréi Kolmogórov (the father of the probability axioms) in an old version of Calculus book by Tom Apostol (for some reason, in new versions that chapter was removed), remarking that the three are the same thing. Maybe it is time to update that table!

The main purpose of that table, in addition to the basic objective of remembering and comparing the properties, is showing how the intuitive set theory for counting by cardinals, the Boolean algebra for making electronic circuits for calculators and the algebra of probabilities are all measure theories.

Best regards.
Alvaro.