Conceptual form and basic ideas were initially created by Jan Łukasiewicz and C. I. Lewis.
logic | Logic | Programmable logic controller | Louis Logic | Transistor–transistor logic | Solid State Logic | Logic Pro | Cirrus Logic | Postmodernism, or, the Cultural Logic of Late Capitalism | Ladder Logic | Ladder logic | Journal of Symbolic Logic | informal logic | H-Logic | fuzzy logic | Formula (mathematical logic) | Burrows-Abadi-Needham logic | Bien Logic | Ω-logic | Valid Logic Systems | Twisted Logic Tour | Transistor-transistor logic | transistor–transistor logic | transistor-transistor logic | Three-valued logic | Three-state logic | Queens Logic | Projection-valued measure | programmable logic controller | Programmable Array Logic |
In the SAE J1939 standard, used for CAN data transmission in heavy road vehicles, there are four logical (boolean) values, False, True, Error Condition, and Not installed (represented by values 0-3).
S. Gottwald, A Treatise on Many-Valued Logics. Studies in Logic and Computation, vol.
•
The Polish logician and philosopher, Jan Łukasiewicz, began to create systems of many-valued logic in 1920, using a third value, "possible", to deal with Aristotle's paradox of the sea battle.
•
Those most popular in the literature are three-valued (e.g., Łukasiewicz's and Kleene's, which accept the values "true", "false", and "unknown"), the finite-valued with more than three values, and the infinite-valued, such as fuzzy logic and probability logic.