All Fields
Computer Science
Medicine
FAQ
Contact
Sign in
Boolean algebra
Known as:
Boolean search
, BooleanAlgebra
, Boolean logic in computer science
(More)
In mathematics and mathematical logic, Boolean algebra is the branch of algebra in which the values of the variables are the truth values true and…
(More)
Wikipedia
Topic mentions per year
Topic mentions per year
1937-2018
0
100
200
1937
2017
Related topics
Related topics
50 relations
A New Kind of Science
AND gate
APL syntax and symbols
Algebraic normal form
(More)
Related mentions per year
Related mentions per year
1937-2018
1940
1960
1980
2000
2020
Boolean algebra
Computer
Computer science
Relay
Quantifier
Fuzzy logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Algebraic Analysis of Many Valued Logics^)
C. C. CHANG
2010
This paper is an attempt at developing a theory of algebraic systems that would correspond in a natural fashion to the N0-valued…
(More)
Is this relevant?
2007
2007
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
Viktor Kuncak
,
Martin C. Rinard
CADE
2007
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted…
(More)
Is this relevant?
2006
2006
Interpolative realization of Boolean algebra
Dragan G. Radojevic
2006 8th Seminar on Neural Network Applications…
2006
Classical (Aristotelian) two-valued realization of Boolean algebra is based on two-elements Boolean algebra as its homomorphism…
(More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Deciding Boolean Algebra with Presburger Arithmetic
Viktor Kuncak
,
Huu Hai Nguyen
,
Martin C. Rinard
Journal of Automated Reasoning
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines Boolean algebras of sets of…
(More)
Is this relevant?
2005
2005
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
Viktor Kuncak
,
Huu Hai Nguyen
,
Martin C. Rinard
CADE
2005
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of…
(More)
Is this relevant?
2004
2004
Boolean Algebra of Shape Analysis Constraints
Viktor Kuncak
,
Martin C. Rinard
VMCAI
2004
The parametric shape analysis framework of Sagiv, Reps, and Wilhelm [45,46] uses three-valued structures as dataflow lattice…
(More)
Is this relevant?
2002
2002
Short Single Axioms for Boolean Algebra
William McCune
,
Robert Veroff
,
Branden Fitelson
,
Kenneth Harris
,
Andrew Feist
,
Larry Wos
Journal of Automated Reasoning
2002
We present short single equational axioms for Boolean algebra in terms of disjunction and negation and in terms of the Sheffer…
(More)
Is this relevant?
2000
2000
Single Axioms for Boolean Algebra
William McCune
2000
Explicit single axioms are presented for Boolean algebra in terms of (1) the Sheffer stroke; (2) disjunction and negation; (3…
(More)
Is this relevant?
1990
1990
Robbins algebra: Conditions that make a near-boolean algebra boolean
Steven K. Winker
Journal of Automated Reasoning
1990
Some problems posed years ago remain challenging today. In particular, the Robbins problem, which is still open and which is the…
(More)
Is this relevant?
1976
1976
Vector Boolean Algebra and Calculus
Samuel C. Lee
IEEE Transactions on Computers
1976
In this paper, binary-vector Boolean algebra, a generalization of ordinary Boolean algebra [6], is introduced. In this algebra…
(More)
Is this relevant?