Erasure (logic)
From Wikipedia, the free encyclopedia
In mathematical logic, a logical system has the erasure property if and only if no subset of the propositions can be added to another subset of the propositions to refute a consequence.
For instance, if proposition A means "the store is open from 800 to 2200" and proposition B means "except Tuesdays", the system AB does NOT have erasure.
[edit] See also
- Monotonic logic in “mathematical logic”
- Peirce's Logic at the "Stanford Encyclopedia of Philosophy"
 |
This article is uncategorized.
Please help improve this article by adding it to one or more categories, so it may be associated with related articles (how?). Please remove this tag after categorizing, but not before. |
