| Class | Description |
|---|---|
| AbstractImPostulate |
An abstract postulate for inconsistency measures in propositional
logic; the ancestor of all concrete postulates.
|
| ImFreeFormulaIndependence |
The "free-formula independence" postulate for inconsistency measures: removing a
formula not participating in any minimal inconsistent set does not change the inconsistency
value.
|
| ImMonotony |
The "monotony" postulate for inconsistency measures: adding information
to a belief base cannot decrease the inconsistency value.
|