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

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'logical connective'
1. ampheck by Jon Awbrey
2. atomic formula by CWoo
3. consequence operator by rspuzio
4. construction of well-formed formulas by CWoo
5. derived Boolean operations by CWoo
6. differential propositional calculus by Jon Awbrey
7. examples of algebraic systems by CWoo
8. first order language by CWoo
9. first order logic by Henry
10. freely generated inductive set by CWoo
11. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
12. functional completeness by CWoo
13. IF-logic by mathcam
14. inequality with absolute values by pahio
15. interpretation of well-formed formulas by CWoo
16. intuitionistic logic by gribskoff
17. Lindenbaum-Tarski algebra by CWoo
18. logic by Henry
19. logical axiom by CWoo
20. logical implication by Jon Awbrey
21. logical language by Henry
22. logicism by gribskoff
23. many-sorted language by CWoo
24. modus ponens by CWoo
25. natural deduction by Henry
26. prenex form by rspuzio
27. proof of downward Lowenheim-Skolem theorem by GodelsTheorem
28. propositional calculus by Jon Awbrey
29. propositional logic by Henry
30. quantifier by CWoo
31. quantifier algebra by CWoo
32. realization of a formula by a truth function by CWoo
33. second order logic by Henry
34. semigroup with two elements by rspuzio
35. Sheffer stroke by CWoo
36. signature by CWoo
37. Tarski's result on the undefinability of truth by mathcam
38. tautology by rspuzio
39. term algebra by CWoo
40. the inclusion of classical into intuitionistic logic by gribskoff
41. truth table by rspuzio
42. unique readability of parenthesized formulas by CWoo
43. unique readability of well-formed formulas by CWoo
44. zeroth order logic by Jon Awbrey