bucephalus.org

# Bucanon introduction, continued: Motivating theory algebras

## Abstract

Next to the common algebraization of propositional logic as **boolean algebra**, we introduce our modified algebraization as a **theory algebra**, based on not only one, but two order structures: the semantic and the syntactic (i.e. atomic) order. The paradigmatic model of this kind of theory algebra is the structure of **(binary) worlds**.

## The text

September 2002, **3 pages**