A Fresh Look at Separation Algebras and Share Accounting? June 2009 Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1

First Page		Document Content
Date: 2009-06-21 13:07:53 Mathematics Mathematical logic Algebra Algebraic logic Fuzzy logic Algebraic structures Boolean algebra Algebra over a field Residuated Boolean algebra Heyting algebra		A Fresh Look at Separation Algebras and Share Accounting? June 2009 Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1 Add to Reading List Source URL: www.cs.princeton.edu Download Document from Source Website File Size: 231,66 KB Share Document on Facebook

	Algebra Universalis, + 0.20/0 (~ 1995 BirkhS.user Verlag, Basel Adjoining units to residuated Boolean algebras DocID: 1v8wA - View Document
	Dedekind-MacNeille completions of residuated lattices Joint work with A. Ciabattoni and K. Terui Nikolaos Galatos University of Denver June 6, 2009 DocID: 1ohG8 - View Document
	Relation algebras as expanded FL-algebras Nikolaos Galatos and Peter Jipsen University of Denver and Chapman University DocID: 1nneI - View Document
	A Fresh Look at Separation Algebras and Share Accounting? June 2009 Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1 DocID: 1kI78 - View Document
	Binary Relations, Algebras, Games R Hirsch, I Hodkinson, M Jackson, S Mikulas and others March 11, 2015 1 DocID: 1jvwJ - View Document