The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen - Complete Heyting algebra - Document - PDFSEARCH.IO

First Page	Meta Content
	The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen Add to Reading List Document Date: 2012-06-15 00:09:09 Open Document File Size: 244,79 KB Share Result on Facebook Facility Chapman University / / Organization Center of Excellence / Chapman University / Peter Jipsen School of Computational Sciences / / SocialTag Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic

The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter JipsenAdd to Reading List