PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (230)
Orphanage
Unclass'd
Unproven (514)
Corrections (23)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Encyclopedia by subject

03G10 - Mathematical logic and foundations :: Algebraic logic :: Lattices and related structures

  1. algebraic definition of a lattice owned by CWoo
  2. bibliography of many-valued logics and applications owned by bci1
  3. Boolean algebra homomorphism owned by CWoo
  4. Boolean ideal owned by CWoo
  5. Boolean lattice owned by mathcam
  6. Boolean quotient algebra owned by CWoo
  7. Boolean subalgebra owned by CWoo
  8. bounded complete owned by CWoo
  9. complete lattice owned by yark
  10. consequence operator owned by rspuzio
  11. consequence operator determined by a class of subsets owned by rspuzio
  12. consequence operator is determined by its fixed points owned by rspuzio
  13. criteria for a poset to be a complete lattice owned by CWoo
  14. De Morgan algebra owned by CWoo
  15. derived Boolean operations owned by CWoo
  16. example of Boolean algebras owned by CWoo
  17. finiteness of C_\cup and C_{\cap} owned by rspuzio
  18. free Boolean algebra owned by CWoo
  19. intersection structure owned by CWoo
  20. Jan \L{}ukasiewicz owned by Mravinci
  21. lattice owned by mps
  22. operations on consequence operators owned by rspuzio
  23. proof that C_\cup and C_\cap are consequence operators owned by rspuzio
  24. superfluity of the third defining property for finite consequence operator owned by rspuzio

Show empty categories:
[ up | top ]