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)

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

- 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

- 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

- 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

- 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

- 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

- 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

- 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

- 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

- 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?