Four-valued logic

Known as: Belnaps logic, Four value logic, Four valued logic

In logic, a four-valued logic is any logic with four truth values. Multiple such logics were invented to deal with various practical problems.

Papers overview

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

2009

This paper presents addition and multiplication in Galois field using multi-valued logic. Multi-valued logic (MVL) has matured to…

2006

Reiter's default logic suffers the triviality, that is, a single contradiction in the premise of a default theory leads to the…

2000

ABSTRACT We propose a combination of a fragment of four-valued logic and process algebra. This fragment is geared to a simple…

1998

This paper presents a fuzzy logic useful for preference modelling from possibly incomplete or conflicting sources of information…

1997

It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent…

1997

1995

We treat knowledge from a computer-oriented point of view, considering it as a kind of data type. An axiomatic approach to the…

1992

Four-valued logic is generalized from the traditional binary logic in order to describe the dynamic logical behavior of objective…

1988

A four-valued logic defined by the four-element De Morgan lattice together with its two prime filters is treated. For certain…

Highly Cited

1981

Highly Cited

1981

A new method to implement multiple-valued logic in large scale integrated circuits is introduced. The data are represented by…