6 citations · 13 across the 6 of their papers we have counts for
5 papers · 1 filter
Algebraic Logic, I Quantifier Theories and Completeness Theorems
Zhaohua Luo
Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the n…
A New Approach to Abstract Machines - Introduction to the Theory of Configuration Machines
Zhaohua Luo
An abstract machine is a theoretical model designed to perform a rigorous study of computation. Such a model usually consists of configurations, instructions, programs, inputs and…
Clone Theory and Algebraic Logic
Zhaohua Luo
The concept of a clone is central to many branches of mathematics, such as universal algebra, algebraic logic, and lambda calculus. Abstractly a clone is a category with two object…
Clone Theory: Its Syntax and Semantics, Applications to Universal Algebra, Lambda Calculus and Algebraic Logic
Zhaohua Luo
The primary goal of this paper is to present a unified way to transform the syntax of a logic system into certain initial algebraic structure so that it can be studied algebraicall…
Clones and Genoids in Lambda Calculus and First Order Logic
Zhaohua Luo
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 tha…