Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:analyses_based_on_formulas [2008/05/21 10:31] vkuncak |
sav08:analyses_based_on_formulas [2009/04/08 01:19] vkuncak |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| ===== Fixpoint Approach ===== | ===== Fixpoint Approach ===== | ||
| - | Let the domain be the set of formulas, ordered by implication | + | Let the domain be the set of quantifier-free formulas of first-order logic, ordered by implication |
| Is this a partial order? ++|We would need to do a quotient construction to obtain it.++ | Is this a partial order? ++|We would need to do a quotient construction to obtain it.++ | ||