consequence operator is determined by its fixed points
Suppose that and are consequence operators on a set and that, for every , it happens that if and only if . Then .
Suppose that is a consequence operators on a set . Define . Then, for every , there exists a such that and, for every such that , one has .
Given a set , suppose that is a subset of such that, for every , there exists a such that and, for every such that , one has . Then there exists a consequence operator such that if and only if .
|Title||consequence operator is determined by its fixed points|
|Date of creation||2013-03-22 16:29:48|
|Last modified on||2013-03-22 16:29:48|
|Last modified by||rspuzio (6075)|