Mathematica 9 is now available

Wolfram Library Archive


All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

Packages for Logic and Set Theory
Author

Jack K. Cohen
Organization: Center for Wave Phenomena, Colorado School of Mines
Old MathSource #

0206-097
Revision date

2000-04-10
Description

The fundamental operations of set theory and logic can be elegantly implemented in Mathematica in terms of the associated Boolean rings.
Subjects

*Mathematics > Foundations of Mathematics > Logic
*Mathematics > Foundations of Mathematics > Set Theory
Keywords

boolean logic, set theory, pure mathematics, applied mathematics, associated boolean rings, the Mathematica Journal V2.1
Related items

*Packages for Logic and Set Theory   [in Articles]
Downloads Download Wolfram CDF Player

Download
logic.m (701 B) - Mathematica package
Download
set.m (1.1 KB) - Mathematica package