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 (50)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'logical language'
1. analytic hierarchy by Henry
2. analytics and formal logics in meta-mathematics by bci1
3. beyond formalism: G\"{o}del's incompleteness by gribskoff
4. construction of well-formed formulas by CWoo
5. example of quantifier by hkkass
6. free and bound variables by CWoo
7. fuzzy logic by ggerla
8. game-theoretical quantifier by Henry
9. generalized quantifier by Henry
10. H\"artig's quantifier by Henry
11. IF-logic by mathcam
12. interpretation of intuitionistic logic by means of functionals by gribskoff
13. intuitionistic logic by gribskoff
14. lambda calculus by ratboy
15. Lindenbaum-Tarski algebra by CWoo
16. logic by Henry
17. many-sorted structure by CWoo
18. Presburger arithmetic by Henry
19. propositional calculus by Jon Awbrey
20. propositional logic by Henry
21. quantifier by CWoo
22. relation theory by Jon Awbrey
23. reverse Polish notation by Mravinci
24. Russell's theory of types by Aatu
25. Skolemization by Henry
26. theory by CWoo
27. unique readability of well-formed formulas by CWoo