PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
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 (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (47)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

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

03B15 - Mathematical logic and foundations :: General logic :: Higher-order logic and type theory

  1. analytic hierarchy owned by Henry
  2. analytics and formal logics in meta-mathematics owned by bci1
  3. continuous predicate owned by Jon Awbrey
  4. differential logic owned by Jon Awbrey
  5. example of quantifier owned by hkkass
  6. fuzzy logic owned by ggerla
  7. fuzzy logics of living systems owned by bci1
  8. G.W. Leibniz' s quote owned by bci1
  9. game-theoretical quantifier owned by Henry
  10. generalized quantifier owned by Henry
  11. generalized toposes with many-valued logic subobject classifiers owned by bci1
  12. hypostatic abstraction owned by Jon Awbrey
  13. Härtig's quantifier owned by Henry
  14. logic owned by Henry
  15. logical language owned by Henry
  16. point-free geometry owned by ggerla
  17. prescisive abstraction owned by Jon Awbrey
  18. quantifier owned by CWoo
  19. Russell's theory of types owned by Aatu
  20. second order logic owned by Henry
  21. Skolemization owned by Henry

Show empty categories:
[ up | top ]