Bounds for the computational complexity of major justification logics were found in papers by Buss, N. Krupski, Kuznets, and Milnikel: logics J, J4, JT, LP and JD were established to be Σp2-complete.
In such extended form, the Correspondence Theorem shows that major modal logics such as \(\mathsf{K}, \mathsf{T}, \mathsf{K4}, \mathsf{S4}, \mathsf{K45}, \mathsf{S5}\) and some others have exact Justification Logic counterparts.
Most notably, it provides a new semantics for the major modal logics.
Reichenbach's major effort in logic, however, is in Elements of Symbolic Logic, published in 1947, but begun as lecture notes for courses during Reichenbach's Turkish years.
They influenced the second major theorist of logic in antiquity, the Stoic Chrysippus mid-3rd cc)., whose main achievement is the development of a propositional logic, crowned by a deductive system.
For the major airlines, the logic of the cuts was dictated by the hub-and-spoke networks they have established in the two decades since the industry was deregulated in the late 1970's.
C. 901 - c. 1000 near Darbhanga Udayanacharya, (flourished 10th century, near Darbhanga, modern Bihar state, India) Hindu logician who attempted to reconcile the views held by the two major schools of logic that were the sources of the Navya Nyaya ("New Nyaya") school of "right" reasoning, which is still recognized and followed in some regions of India.
Uniformity is a major concern for logic computing.
Major cells including logic cells and PTL driver/receiver cells have been developed.
