Logical formalism using combinators instead of variables
Not to be confused with combinational logic, a topic in digital electronics.
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel[1] and Haskell Curry,[2] and has more recently been used in computer science as a theoretical model of computation and also as a basis for the design of functional programming languages. It is based on combinators, which were introduced by Schönfinkel in 1920 with the idea of providing an analogous way to build up functions—and to remove any mention of variables—particularly in predicate logic. A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments.
^Schönfinkel 1924, The article that founded combinatory logic. English translation: Schönfinkel (1967).
Combinatorylogic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and Haskell...
Binary combinatorylogic (BCL) is a computer programming language that uses binary terms 0 and 1 to create a complete formulation of combinatorylogic using...
American mathematician and logician. Curry is best known for his work in combinatorylogic, whose initial concept is based on a paper by Moses Schönfinkel, for...
combinator. Hence combinatorylogic goes beyond first-order logic by having the expressive power of set theory, which makes combinatorylogic vulnerable to...
functional programming languages. An equivalent theoretical formulation, combinatorylogic, was developed by Moses Schönfinkel and Haskell Curry in the 1920s...
structure grammar (as opposed to a dependency grammar). CCG relies on combinatorylogic, which has the same expressive power as the lambda calculus, but builds...
The SKI combinator calculus is a combinatorylogic system and a computational system. It can be thought of as a computer programming language, though...
To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in CombinatoryLogic (1985, ISBN 0-19-280142-2) is a book by the mathematician...
formal systems are related to lambda calculus: Combinatorylogic – A notation for mathematical logic without variables SKI combinator calculus – A computational...
respects include: Combinatorylogic, having the expressive power of set theory; Relation algebra, arguably the paradigmatic algebraic logic, can express Peano...
memoization on a class webpage. Memoization in CombinatoryLogic – A web service to reduce CombinatoryLogic while memoizing every step in a database. MbCache...
Intuitionistic type theory BHK interpretation Curry–Howard correspondence Linear logic Game semantics Typed lambda calculus Typed and untyped languages Type signature...
combinator Y has normal form in combinatorylogic but not in λ {\displaystyle \lambda } -calculus). Combinatorylogic was developed with great ambitions:...
recreational introduction to the subject of combinatorylogic. Apart from writing about and teaching logic, Smullyan released a recording of his favorite...
structure, whether that structure is definable or not. combinatorylogic A branch of mathematical logic that seeks to eliminate the need for variables in mathematical...
(codomain of the) subobject classifier of an elementary topos. In combinatorylogic, the looping combinator, (S I I (S I I)) In group theory, the omega...
proof theory, especially intuitionistic logic. Formal calculi such as the lambda calculus and combinatorylogic are now studied as idealized programming...
typed lambda calculus representations of the basic combinators of combinatorylogic. Each type τ {\displaystyle \tau } is assigned an order, a number...
combinator Y has normal form in combinatorylogic but not in λ {\displaystyle \lambda } -calculus). Combinatorylogic was developed with great ambitions:...
desired function and the low-level programmer might specify this using combinatorylogic. This research also led to ways to making conventional, PC-based,...
programming and its foundational disciplines, lambda calculus and combinatorylogic. Terminology varies between languages; some computer languages such...