The Deacon's Masterpiece or, the Wonderful "One-hoss Shay": A Logical Story | Psycho+Logical-Records | Logical volume management | Logical positivism | logical positivism | Logical partition | Logical matrix | Logical constant | Logical block addressing |
The Craig–Lyndon interpolation theorem in formal logic states that every logical implication can be factored into the composition of two implications, such that each nonlogical symbol in the middle formula of the composition is also used in both of the other two formulas.