# Three-valued logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2005

2005

- Reports on Mathematical Logic
- 2005

We consider propositional logic. Three-valued logics are old: the first one is Lukasiewicz three valued logic from 1920 [8]. G… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- IEEE Transactions on Nanotechnology
- 2005

Multivalued logic has always attracted the attention of digital system and logic designers. However, the high-performance and low… (More)

Is this relevant?

2004

2004

- 2004

It is well established now that excitable media are capable of implementing of a wide range of computational operations, from… (More)

Is this relevant?

2003

2003

- RSFDGrC
- 2003

In this paper, we extend Nilsson’s probabilistic logic [1] to allow that each sentence S has three sets of possible worlds. We… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- ACM Trans. Program. Lang. Syst.
- 2002

Shape analysis concerns the problem of determining "shape invariants" for programs that perform destructive updating on… (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- POPL
- 1999

We present a family of abstract-interpretation algorithms that are capable of determining "shape invariants" of programs that… (More)

Is this relevant?

1999

1999

- 1999

We show that the adoption of a three-valued setting for inductive concept learning is particularly useful for learning… (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Fundam. Inform.
- 1994

Kleene’s strong three-valued logic extends naturally to a four-valued logic proposed by Belnap. We introduce a guard connective… (More)

Is this relevant?

1991

1991

- Theor. Comput. Sci.
- 1991

The aim of this paper is to propose a logical and algebraic theory which seems well-suited to logic programs with negatior, and… (More)

Is this relevant?

1972

1972

- IEEE Transactions on Computers
- 1972

In this note we discuss a few attributes and pitfalls of three-valued (0, 1, u) digital logic simulation. The areas covered… (More)

Is this relevant?