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

BucanonIntroContinued.pdf
BucanonIntroContinued.ps
BucanonIntroContinued.dvi

September 2002, 3 pages

[home] [blog]