Erasure (logic)

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 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"

This article "Erasure (logic)" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Erasure (logic). Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.

📰 Article(s) of the same category(ies)

• Algebraic definition
• Explicit mathematics
• ProofWiki
• Functorial programming
• International Workshop on First-Order Theorem Proving
• Walks on ordinals
• Classical mathematics

---