search

gelijergensen / MetaLogic

A general purpose calculator for propositional logic systems
MIT License
0 stars 0 forks source link

Add: Guided Rewriting #11

Open gelijergensen opened 3 years ago

gelijergensen commented 3 years ago

Often, we can give a sort of "complexity" of logic formulas in a given system. Using some measure of complexity (or similar), we want to guide the search so that it preferentially applies rewrite rules which greatly reduce the complexity of a formula

gelijergensen commented 3 years ago

Actually, this is a very big topic (see the book "Term Rewriting and All That", for instance). So we will handle this at some point later