scientific article; zbMATH DE number 2154574

MaRDI QIDQ4665109zbMATH OpenFDO

Authors Bernhard Banaschewski

Publication date 9 April 2005

zbMATH Keywords

Boolean algebrasBoolean systemsidentitieslaw of double negationlaw of excluded middlepseudocomplemented meet-semilattices

Mathematics Subject Classification ID

History of mathematics in the 19th century (01A55) History of mathematical logic and foundations (03-03) Logical aspects of Boolean algebras (03G05) Semilattices (06A12)

Recommendations

• George Boole's deductive system
• A Boole anthology. Recent and classical studies in the logic of George Boole. Including papers from the international Boole conference, Lausanne, Switzerland, September 26--27, 1997
• NOTIONAL LOGIC OF SYSTEMS
• scientific article; zbMATH DE number 1765606
• Boole

Cited in

(20)

• Boolean unification - the story so far
• Boole vs Wadge: comparing two basic tools of descriptive set theory
• Review of Boole
• Boole's criteria for validity and invalidity
• The Horn theory of Boole's partial algebras
• scientific article; zbMATH DE number 3851051 (Why is no real title available?)
• On the Boolean-like Law I(x, I(y, x)) = 1
• From Boolean psychologism to the theorem of Stone. Epistemology and history of Boolean algebras
• Boolean theory in the propositional logic system \(\mathcal{L}^*\)
• Boole's abandoned propositional logic
• scientific article; zbMATH DE number 1330561 (Why is no real title available?)
• scientific article; zbMATH DE number 1472844 (Why is no real title available?)
• scientific article; zbMATH DE number 1765606 (Why is no real title available?)
• On Deciding Whether a Boolean Function is Constant or Not
• scientific article; zbMATH DE number 6160728 (Why is no real title available?)
• Logical and Algebraic Structure of “Calculus of Indication”: The Significance and Circumstance
• Boole's indefinite symbols re-examined
• scientific article; zbMATH DE number 4197472 (Why is no real title available?)
• A Boole anthology. Recent and classical studies in the logic of George Boole. Including papers from the international Boole conference, Lausanne, Switzerland, September 26--27, 1997
• The structure of ideas in \textit{The Port Royal Logic}

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4665109)