Packages for Logic and Set Theory -- from Wolfram Library Archive

Products

Consulting & Solutions

Learning & Support

Company

Wolfram|Alpha

Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

Title

Packages for Logic and Set Theory

Author

Organization:

Center for Wave Phenomena, Colorado School of Mines

Journal / Anthology

The Mathematica Journal

Year:

1992

Volume:

Issue:

Page range:

91-93

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

WOLFRAM