This is a continuation of a series of posts on three-valued logic which began with “The learned professors”
There are about seven reasons this work is revolutionary.
1) First, it is a full-featured extension of classical logic into the realm of the uncertain. The arithmetic of the integers is an extension of the ordinary arithmetic of whole numbers into the negative, and the arithmetic of common factions is an extension of ordinary arithmetic into the realm of parts of objects. Both are fully compatible and include the whole numbers as a special case. In a similar fashion, all the laws of classical two-valued logic remain true in the two-valued case, but some of them must be modified in the three valued case.
2) It is truth functional and the same methods of truth truth tables and algebraic manipulation apply in this logic as in two valued logic. It follows the associative, commutative, distributive, identity, annihilator, idempotent, double negation, and De Morgan laws of Boolean algebra but does not follow the complementation laws x & ~x= F and x ∨ ~x = T. This is called a De Morgan algebra.
3) It is a truth functional system of modal logic. It differs from the Lewis systems S1-S5, because it uses a different version of the strict conditional, and because it does not include the law of the excluded middle. However, theorems of L3M that are parallel to the axioms of S5 can be formulated, therefore anything that can be proven in S5 can be proven with this logic. It has been established that S5 itself cannot be reduced to 3 values, but this is a narrow result and can probably be traced to the difference in conditionals.
It can also be established that that if the strict material conditional []( P =) Q) holds, then so does the strict Lukasewicz conditional [](P -> Q), but not conversely.
4) It is a truth functional version of intuitionism. In similar fashion to modal logic, if all the axioms of intuitionism are replaced using the strong negation ~<>P instead of the ordinary negation, and using the strict Lukasewicze conditional instead of the ordinary material conditional, the resulting axioms are theorems of this system. Therefore, anything that can be proven using these axioms is also true in this systems.
5) It clarifies long-standing controversies in logic, notably the meaning of the conditional and its relation with concepts of implication and entailment, and doubts about the universal validity of modus ponens. Along with fuzzy logic, it offers a resolution to the Sorites paradox. It addresses some of the same concerns as relevance logic. The Lukasiewicz conditional can be defined as (~Q \/ P \/ P==Q), if P== Q has been defined as P and Q having the same truth value.
6) It is connected to Fuzzy logic. It has some of the same features, although this logic includes all the values between T and F in the one value U, where Fuzzy logic gives each truth value a distinct number.
7) It shares features with paraconsistent logic. (P & ~P) => Q is not a tautology, so it is not explosive, and is not sufficient to prove any other proposition at all. However, this logic does include methods of indirect proof, which work by establishing contradictions. It is simply necessary to establish a contradiction and not merely a contrary. Expressions such as (p & ~<>P) “true and impossible”, ([]p & ~P) “certain and false”, ([]p & ~[]P) “certain and not certain”, (<>P & ~<>P) “possible and impossible”, and ([]P & ~<> P) “certain and impossible” all work.