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

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'negation'
1. an outline of Hilbert's programme by gribskoff
2. analytics and formal logics in meta-mathematics by bci1
3. arithmetical hierarchy by CWoo
4. atomic formula by CWoo
5. axiom of choice by GrafZahl
6. beyond formalism: G\"{o}del's incompleteness by gribskoff
7. CNF by rspuzio
8. computer representation of integers by rm50
9. contradiction by Wkbj79
10. contradictory statement by pahio
11. derived Boolean operations by CWoo
12. differential propositional calculus by Jon Awbrey
13. DNF by rspuzio
14. ETAS interpretation by bci1
15. examples of primitive recursive predicates by CWoo
16. from Hilbert's tenth problem to G\"{o}del's trichotomy by gribskoff
17. Hilbert's $\varepsilon$-operator by gribskoff
18. IF-logic by mathcam
19. interpretation of intuitionistic logic by means of functionals by gribskoff
20. intuitionistic logic by gribskoff
21. irreflexive by smw
22. lecture notes on determinants by rmilson
23. Lindenbaum-Tarski algebra by CWoo
24. Lindstr\"om's theorem by mathcam
25. logic by Henry
26. logical connective by mps
27. logicism by gribskoff
28. minimal negation operator by Jon Awbrey
29. modus tollens by rspuzio
30. permutation model by ratboy
31. proof of downward Lowenheim-Skolem theorem by GodelsTheorem
32. proof that contrapositive statement is logically equivalent to original statement by sprocketboy
33. propositional calculus by Jon Awbrey
34. propositional logic by Henry
35. reductio ad absurdum by gribskoff
36. Smarandache geometries by jonnathan
37. supercategory by bci1
38. Tarski's result on the undefinability of truth by mathcam
39. the inclusion of classical into intuitionistic logic by gribskoff