UAI seems reasonable as we need both discreet and non-discreet systems to start talking in a meaningful way. Was wondering recently - given that a lot can be d

UAI seems reasonable as we need both discreet and non-discreet systems to start talking in a meaningful way. Was wondering recently - given that a lot can be done with predicate logic, and given that DNA is a sort of grammar, is there anything more powerful than these formalisms in math in genera, that is actually put to work somewhere, anywhere?