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 'logic'
1. $\mathcal{NJ}p$ by Henry
2. Alexander Grothendieck by PrimeFan
3. Alexander Grothendieck's biography and his major mathematical contributions by bci1
4. all positive integers are polite numbers except powers of two by PrimeFan
5. ampheck by Jon Awbrey
6. an outline of Hilbert's programme by gribskoff
7. analytics and formal logics in meta-mathematics by bci1
8. Aristotelian logic by Daume
9. artificial intelligence by aplant
10. axiom by rmilson
11. Backus-Naur form by CWoo
12. barycentric subdivision by CWoo
13. Bernoulli random variable by Riemann
14. beta random variable by mathcam
15. Beth property by Aatu
16. beyond formalism: G\"{o}del's incompleteness by gribskoff
17. Brouwerian lattice by CWoo
18. Cantor's paradox by Henry
19. Carol Karp by Mravinci
20. categorical quantum logics as quantum LM-algebraic logic by bci1
21. categories and supercategories in relational biology by bci1
22. chess by PrimeFan
23. class by yark
24. combinatory logic by Logan
25. compactness by Aatu
26. complex systems biology by bci1
27. concepts in set theory by matte
28. consequence operator by rspuzio
29. context-free language by CWoo
30. continuous predicate by Jon Awbrey
31. creating an infinite model by CWoo
32. definition by PrimeFan
33. derived Boolean operations by CWoo
34. differential logic by Jon Awbrey
35. differential propositional calculus by Jon Awbrey
36. duality in mathematics by bci1
37. Dynamic Stream by zshao
38. ETAS interpretation by bci1
39. example of false implies true by Algeboy
40. first order logic by Henry
41. Florentin Smarandache by Torquemada
42. foundations of mathematics: overview by gribskoff
43. Frank Ramsey by PrimeFan
44. freely generated inductive set by CWoo
45. functional completeness by CWoo
46. functions from empty set by rspuzio
47. fundamental complexity diagrams by bci1
48. fuzzy logic by ggerla
49. fuzzy logics of living systems by bci1
50. game-theoretical quantifier by Henry
51. generalized quantifier by Henry
52. generalized toposes with many-valued logic subobject classifiers by bci1
53. genetic nets by bci1
54. graph-theoretic representation of relation composition by Jon Awbrey
55. G\"odel's incompleteness theorems by mathcam
56. Henri Poincar\'e by Daume
57. Hilbert's $\varepsilon$-operator by gribskoff
58. Horn clause by PrimeFan
59. hypergeometric random variable by alozano
60. IF-logic by mathcam
61. imaginaries by mathcam
62. inference rule by rspuzio
63. interpolation property by CWoo
64. interpretation of intuitionistic logic by means of functionals by gribskoff
65. interval by PrimeFan
66. intuitionistic logic by gribskoff
67. Jan \L{}ukasiewicz by Mravinci
68. Java by PrimeFan
69. JavaScript by PrimeFan
70. Julius K\"onig by WM
71. lambda calculus by ratboy
72. Leibniz notation for vector fields by stevecheng
73. Lindstr\"om's theorem by mathcam
74. logical graph : introduction by Jon Awbrey
75. logical implication by Jon Awbrey
76. logical language by Henry
77. logicism by gribskoff
78. L\"ob's theorem by dankomed
79. mathematical platonism by gribskoff
80. Mathematics Subject Classification by PrimeFan
81. mathematics vocabulary by matte
82. MATLAB by Mravinci
83. metalanguage by yesitis
84. model theory by mps
85. modus ponens by CWoo
86. multiplicative encoding by PrimeFan
87. natural deduction by Henry
88. negation by pahio
89. negative binomial random variable by bgins
90. negative hypergeometric random variable by alozano
91. neutrosophic logic by para0doxa
92. non-commutative dynamic modeling diagrams by bci1
93. organismic sets by bci1
94. organismic supercategories and super-complex systems biodynamics by bci1
95. Pareto random variable by alozano
96. Peirce's law by Jon Awbrey
97. Penrose's first G\"odelian argument by dankomed
98. Penrose's second G\"odelian argument by dankomed
99. point-free geometry by ggerla
100. polyadic algebra by CWoo
101. polyadic algebra with equality by CWoo
102. predicativism by gribskoff
103. probabilistic proof by Algeboy
104. propositional calculus by Jon Awbrey
105. propositional logic by Henry
106. pseudocomplement by CWoo
107. quantifier by CWoo
108. quantifier algebra by CWoo
109. quantum electrodynamics by bci1
110. quantum logic by CWoo
111. quantum topos by bci1
112. red-black tree by PrimeFan
113. relation composition by Jon Awbrey
114. relation reduction by Jon Awbrey
115. relation theory by Jon Awbrey
116. Rosetta biogroupoids by bci1
117. Russell's theory of types by Aatu
118. scientific calculator by PrimeFan
119. second order logic by Henry
120. semigroup with two elements by rspuzio
121. set theory by mathwizard
122. sign relation by Jon Awbrey
123. similarity and analogous systems: dynamic adjointness and topological equivalence by bci1
124. sines law proof by drini
125. Smarandache geometries by jonnathan
126. stability of transfer functions in the Laplace domain by rrogers
127. sudoku by Mravinci
128. Sun Zhiwei by Mravinci
129. supercategory by bci1
130. supercategory of variable molecular sets by bci1
131. surface by juanman
132. Tarski's result on the undefinability of truth by mathcam
133. tautology by rspuzio
134. terms from foreign languages used in mathematics (html version) by Wkbj79
135. terms from foreign languages used in mathematics (page images version) by Wkbj79
136. the inclusion of classical into intuitionistic logic by gribskoff
137. theory by CWoo
138. theory of formal languages by rspuzio
139. theory of organismic sets and mathematical relations by bci1
140. topic entry on foundations of mathematics by CWoo
141. topic entry on miscellaneous mathematics by rm50
142. topic entry on order theory by CWoo
143. topic entry on the algebraic foundations of mathematics by bci1
144. topic on the algebraic foundations of quantum algebraic topology by bci1
145. topic: groupoid symmetry and duality by bci1
146. topics in algebraic topology by bci1
147. topos by CWoo
148. transitive by akrowne
149. triadic relation by Jon Awbrey
150. uniform (discrete) random variable by Riemann
151. vector by rmilson
152. vector identities by mark_t314159
153. weakly compact cardinal by Henry
154. William Francis Lawvere by bci1
155. word by juanman