Burris, Stanley. ‘‘George Boole.’’ In The Stanford Encyclopedia of Philosophy, edited by Edward N. Zalta. 2010. Available from http://plato.stanford.edu/archives/sum2010/entries/boole/ Krantz, Steven G. Discrete Mathematics Demystified. New York: McGraw-Hill, 2009. Nahin, Paul J. The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age. Princeton, NJ: Princ...

Boole polynomials play an important role in the area of number theory, algebra and umbral calculus. In this paper, we investigate some properties of Boole polynomials and consider Witt-type formulas for the Boole numbers and polynomials. Finally, we derive some new identities of those poly-nomials from the Witt-type formulas which are related to Euler polynomials.

This material is studying MV-algebras and BL-algebras in terms of applicability in Boole algebra. Boole algebras are expanded use in fuzzy logic.

In this paper we show that the usual intuitionistic characterization of the decidability of the propositional function B(x) prop [x : A], i.e. to require that the predicate (∀x ∈ A)B(x)∨¬B(x) is provable, is equivalent, when working within the framework of Martin-Löf’s Intuitionistic Type Theory, to require that there exists a decision function φ : A → Boole such that (∀x ∈ A) (φ(x) =Boole true...

The Annual Boole Lecture was established and is sponsored by the Boole Centre for Research in Informatics, the Cork Constraint Computation Centre, the Department of Computer Science, and the School of Mathematics, Applied Mathematics and Statistics at University College Cork. The series is named in honour of George Boole, the first professor of Mathematics at UCC, whose seminal work on logic in...

The Annual Boole Lecture was established and is sponsored by the Boole Centre for Research in Informatics, the Cork Constraint Computation Centre, the Department of Computer Science, and the School of Mathematics, Applied Mathematics and Statistics at University College Cork. The series is named in honour of George Boole, the first professor of Mathematics at UCC, whose seminal work on logic in...

Las Álgebras de Boole Topológicas, llamadas también “Álgebras Interiores” o “Álgebras de Clausura”, fueron estudiadas por Tarski [5] y Naturman [2]. Los Espacios Bitopológicos, a su vez, fueron estudiados por [1]. En [3], se presentan las Álgebras de Boole Bitopológicas, que relacionan y generalizan naturalmente las estructuras anteriormente mencionadas. Entre otras aplicaciones, permiten dar u...

Despite my many trips to Ireland, I have never yet been to Cork. Therefore, I have never visited its university, formerly called Queen’s College. But surfing the web I came across a description of the Aula Maxima of Queen’s College. On the east-facing window of this hall there is the Boole Memorial Window, made up of ten glass panels in two rows of five panels each. Each panel represents a bran...