Boolean algebra

Known as: Boolean search, BooleanAlgebra, Boolean logic in computer science 
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
010020019372017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
  • 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
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted… (More)
  • figure 2
  • figure 4
Is this relevant?
2006
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
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines Boolean algebras of sets of… (More)
  • figure 8
  • figure 13
  • figure 12
Is this relevant?
2005
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
The parametric shape analysis framework of Sagiv, Reps, and Wilhelm [45,46] uses three-valued structures as dataflow lattice… (More)
  • figure 5
Is this relevant?
2002
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
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
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
In this paper, binary-vector Boolean algebra, a generalization of ordinary Boolean algebra [6], is introduced. In this algebra… (More)
Is this relevant?