First Page | Document Content | |
---|---|---|
Date: 2012-06-15 00:09:09Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic Mathematical logic Mathematics | The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter JipsenAdd to Reading ListSource URL: math.chapman.eduDownload Document from Source WebsiteFile Size: 244,79 KBShare Document on Facebook |