Clones and Genoids in Lambda Calculus and First Order Logic

Abstract

A genoid is a category of two objects such that one is the product of itself with the other. A genoid may be viewed as an abstract substitution algebra. It is a remarkable fact that such a simple concept can be applied to present a unified algebraic approach to lambda calculus and first order logic.

References in corpus (1)

• Algebraic Logic, Varieties of Algebras and Algebraic Varieties

Cited by in corpus (5)

• Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic
• Clone Theory and Algebraic Logic
• Universal Algebra and Mathematical Logic
• A New Approach to Abstract Machines - Introduction to the Theory of Configuration Machines
• Algebraic Logic, I Quantifier Theories and Completeness Theorems