antecedent / k-mtslia Goto Github PK

Listing all of them has exponential time complexity, so don't list them: just store the CNF formulae that I discuss here.

It's curious that propositional logic shows up in the MTSL picture. Useful, too, because there are many other things that look like propositional logic and quack like propositional logic. For instance, we might want to plug in fuzzy logic in lieu of the traditional propositional kind. In the ideal case, we will end up with fuzzy tiers.