\([0,1]\)-valued logic: A natural generalization of Boolean logic. (English) Zbl 0965.03027

Radojević, Dragan G.

Yugosl. J. Oper. Res. 10, No. 2, 185-216 (2000).

Let \([0,1]\) be the unit interval of the reals. The author defines a new \([0,1]\)-valued logic, which is a natural generalization of two-valued classical logic. The new logic uses \([0,1]\)-valued logic functions, which are generalizations of Boolean and/or pseudo-Boolean functions. \([0,1]\)-valued logic originated from the author’s research in the field of operations research.

Reviewer: Slaviša Prešić (Vrčin)

MSC:

03B50

Many-valued logic

Keywords:

\([0,1]\)-valued logic; structural function of a logic formula; basic logic function; t-norms