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.