FAQ

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

Related topics

Related topics

50 relations
A New Kind of ScienceAND gateAPL syntax and symbolsAlgebraic normal form
(More)

Related mentions per year

Related mentions per year

1937-2018
19401960198020002020
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
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
Interpolative realization of Boolean algebra
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
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
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
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
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
Short Single Axioms for Boolean Algebra
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
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
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
In this paper, binary-vector Boolean algebra, a generalization of ordinary Boolean algebra [6], is introduced. In this algebra… (More)
Is this relevant?