Erasure (logic)
Encyclopedia
In mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...

, 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 8:00 to 22:00" and proposition B means "except Tuesdays", the system AB does NOT have erasure.

See also

  • Monotonic logic in “mathematical logic”
  • Peirce's Logic at the "Stanford Encyclopedia of Philosophy"
The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK