Karl Jones: /* External links */

2016-04-08T20:01:25Z

‎External links

Karl Jones: Created page with "In logic, a '''three-valued logic''' (also '''trinary logic''', '''trivalent''', '''ternary''', or '''trilean''', sometimes abbreviated '''3VL''') is any of several Many..."

2016-02-19T17:14:14Z

Created page with "In logic, a '''three-valued logic''' (also '''trinary logic''', '''trivalent''', '''ternary''', or '''trilean''', sometimes abbreviated '''3VL''') is any of several Many..."

New page

In [[logic]], a '''three-valued logic''' (also '''trinary logic''', '''trivalent''', '''ternary''', or '''trilean''', sometimes abbreviated '''3VL''') is any of several [[Many-valued logic system|many-valued logic systems]] in which there are three [[Truth value|truth]] values indicating [[true]], [[false]] and some [[indeterminate third value]].

== Description ==

This is contrasted with the more commonly known [[Bivalent logic|bivalent logics ]](such as classical sentential or [[Boolean logic]]) which provide only for true and false.

Conceptual form and basic ideas were initially created by [[Jan Łukasiewicz]] and [[C. I. Lewis]].

These were then re-formulated by [[Grigore Moisil]] in an axiomatic algebraic form, and also extended to n-valued logics in 1945.

== Application in SQL ==

The [[SQL]] language implements ternary logic as a means of handling comparisons with NULL field content.

The original intent of NULL in SQL was to represent missing data in a database, i.e. the assumption that an actual value exists, but that the value is not currently recorded in the database.

SQL uses a common fragment of the Kleene K3 logic, restricted to AND, OR, and NOT tables.

In SQL, the intermediate value is intended to be interpreted as UNKNOWN.

Explicit comparisons with NULL, including that of another NULL yields UNKNOWN.

However this choice of semantics is abandoned for some set operations, e.g. UNION or INTERSECT, where NULLs are treated as equal with each other. Critics assert that this inconsistency deprives SQL of intuitive semantics in its treatment of NULLs.

The SQL standard defines an optional feature called F571, which adds some unary operators, including IS UNKNOWN.

The addition of IS UNKNOWN to the other operators of SQL's three-valued logic makes the SQL three-valued logic functionally complete, meaning its logical operators can express (in combination) any conceivable three-valued logical function.

== See also ==

* [[Bivalent logic]]
* [[Boolean logic]]
* [[Database]]
* [[Logic]]
* [[Many-valued logic system]]
* [[SQL]]
* [[Three-state logic]]

== External links ==

* [https://en.wikipedia.org/wiki/Three-valued_logic Three-valued logic] @ Wikipedia

← Older revision		Revision as of 20:01, 8 April 2016
Line 40:		Line 40:

	* [https://en.wikipedia.org/wiki/Three-valued_logic Three-valued logic] @ Wikipedia		* [https://en.wikipedia.org/wiki/Three-valued_logic Three-valued logic] @ Wikipedia
		+
		+
		+	[[Category:Logic]]

Three-valued logic - Revision history

Karl Jones: /* External links */

Karl Jones: Created page with "In logic, a '''three-valued logic''' (also '''trinary logic''', '''trivalent''', '''ternary''', or '''trilean''', sometimes abbreviated '''3VL''') is any of several Many..."