This book presents the advancements and applications of neutrosophics, which are
generalizations of fuzzy logic, fuzzy set, and imprecise probability. The neutrosophic logic …

At a workshop held in Toulouse, France in 1977, Gallaire, Minker and Nicolas stated that
logic and databases was a field in its own right (see [131]). This was the first time that this …

A paraconsistent database is one in which information may be incomplete and/or
inconsistent. A data model that does not attempt to eliminate such incompleteness or …

A data model has recently been developed for representing and manipulating two kinds of
uncertain information in databases: incomplete and inconsistent. The model is based on 4 …

Real-world automated reasoning systems, based on classical logic, face logically
inconsistent information, and they must cope with it. It is onerous to develop such systems …

Many database application areas require an ability to handle incomplete and/or inconsistent
information. Such information, called paraconsistent information, has been the focus of some …

Paraconsistent information is information that is incomplete and/or inconsistent. A data
model for handling paraconsistent information in relational databases has recently been …

The field of deductive databases is considered to have started at a workshop in Toulouse,
France. At that workshop, Gallaire, Minker and Nicolas stated that logic and databases was …

Paraconsistent information is information that is incomplete and/or inconsistent. A data
model for representing and manipulating paraconsistent information in relational databases …

The well-founded model for any general deductive database computed using the
paraconsistent relational model, based on four-valued logic, does not support inference …