Concepts inA logical account of uncertain databases based on linear logic

Linear logic

Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter.
more from Wikipedia

Logic

Logic (from the Greek ¿¿¿¿¿¿ logik¿) is the philosophical study of valid reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science. It examines general forms that arguments may take, which forms are valid, and which are fallacies. In philosophy, the study of logic is applied in most major areas: metaphysics, ontology, epistemology, and ethics.
more from Wikipedia

Database

A database is an organized collection of data, today typically in digital form. The data are typically organized to model relevant aspects of reality (for example, the availability of rooms in hotels), in a way that supports processes requiring this information (for example, finding a hotel with vacancies). The term database is correctly applied to the data and their supporting data structures, and not to the database management system (DBMS).
more from Wikipedia

Formal semantics (logic)

In logic, formal semantics is the study of the semantics, or interpretations, of formal and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of entailment. (Although both linguistics and logic lay claim to providing theories of natural language, according to Geach, logic generally ignores the "idiotism of idiom", and sees natural languages as cluttered with idioms of no logical interest.
more from Wikipedia

Possible world

In philosophy and logic, the concept of a possible world is used to express modal claims. The concept of possible worlds is common in contemporary philosophical discourse and has also been disputed.
more from Wikipedia

Propositional calculus

In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulas to be derived, called theorems; which may be interpreted as true propositions.
more from Wikipedia

Null (SQL)

Null is a special marker used in Structured Query Language (SQL) to indicate that a data value does not exist in the database. Introduced by the creator of the relational database model, E. F. Codd, SQL Null serves to fulfill the requirement that all true relational database management systems (RDBMS) support a representation of "missing information and inapplicable information". Codd also introduced the use of the lowercase Greek omega (¿) symbol to represent Null in database theory.
more from Wikipedia

Interpretation (logic)

An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until they are given some interpretation. The general study of interpretations of formal languages is called formal semantics.
more from Wikipedia