Connection To Intuitionistic Logic
The combinators K and S correspond to two well-known axioms of sentential logic:
AK: A (B A),
AS: (A (B C)) ((A B) (A C)).
Function application corresponds to the rule modus ponens:
MP: from A and A B, infer B.
The axioms AK and AS, and the rule MP are complete for the implicational fragment of intuitionistic logic. In order for combinatory logic to have as a model:
- The implicational fragment of classical logic, would require the combinatory analog to the law of excluded middle, e.g., Peirce's law;
- Complete classical logic, would require the combinatory analog to the sentential axiom F A.
Read more about this topic: SKI Combinator Calculus
Famous quotes containing the words connection and/or logic:
“Morality becomes hypocrisy if it means accepting mothers’ suffering or dying in connection with unwanted pregnancies and illegal abortions and unwanted children.”
—Gro Harlem Brundtland (b. 1939)
“The logic of worldly success rests on a fallacy: the strange error that our perfection depends on the thoughts and opinions and applause of other men! A weird life it is, indeed, to be living always in somebody else’s imagination, as if that were the only place in which one could at last become real!”
—Thomas Merton (1915–1968)