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

[home] [blog]