Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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