User contributions
10 December 2008
Talk:Logical graph
Inquiry Into Intuitionism: + note
+249
Talk:Logical graph
add section [inquiry into intuitionism]
+31
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Umpire Operators: restore omitted section
+3,208
9 December 2008
Talk:Logical graph
Tables: & more tables
+7,486
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General: conclude section
+260
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General
+418
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General
+452
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General: restoring original section on option 1
+156
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General
+336
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Option 1 : Less General
+498
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Umpire Operators: restoring section on option 1 : less general approach from original document ...
+393
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Umpire Operators: restore deleted section
+695
Talk:Logical graph
Functional quantifiers: reorganize
+32
Talk:Logical graph
Exercise 1: add tables
+4,714
8 December 2008
Talk:Logical graph
Exercise 1
+265
Talk:Logical graph
Exercise 1: fix typo
-4
Talk:Logical graph
Functional quantifiers: TeX doesn't work well in headings
+108
Talk:Logical graph
Functional quantifiers: + link
+230
Talk:Logical graph
Functional quantifiers
+114
Talk:Logical graph
Functional Logic : Differentials, Integrals, Measures, Quantifiers: reorganize
-119
Talk:Logical graph
Logical Graph Sandbox
+78
Talk:Logical graph
Logical Graph Sandbox: add exercise
+284
Talk:Logical graph
Functional Logic : Differentials, Integrals, Measures, Quantifiers: adjust head
+1
Talk:Logical graph
Logical Graph Sandbox: + § [Functional Logic : Differentials, Integrals, Measures, Quantifiers]
+73
7 December 2008
Talk:Logical graph
Reports of my counter-intuitiveness are greatly exaggerated
+7
Talk:Logical graph
Reports of my counter-intuitiveness are greatly exaggerated: upshot
+55
Talk:Logical graph
Reports of my counter-intuitiveness are greatly exaggerated: intuitionistic
+6
Talk:Logical graph
Reports of my counter-intuitiveness are greatly exaggerated
+9
Talk:Logical graph
Reports of my counter-intuitiveness are greatly exaggerated: another guess?
+412
Talk:Logical graph
Reports of my counter-intuitiveness are greatly exaggerated: fix typos
+1
Talk:Logical graph
Reports of my counter-intuitiveness are greatly exaggerated: my guess
+486
6 December 2008
Talk:Logical graph
More thoughts on Peirce's law: + usual formulas
+130
Talk:Logical graph
Reports of my counter-intuitiveness are greatly exaggerated: sp [intuitionistic]
+18
Talk:Logical graph
Reports of my counter-intuitiveness are greatly exaggerated: cleanup typos
-4
Talk:Logical graph
Reports of my counter-intuitiveness are are greatly exaggerated
+46
Talk:Logical graph
The allegedly counterintuitive dichotomy law: add explanation
+334
Talk:Logical graph
The allegedly counterintuitive dichotomy law: + proof
+404
Talk:Logical graph
Logical Graph Sandbox: dichotomy principle
+427
Talk:Logical graph
Logical Graph Sandbox: gloss [absorption law]
+3
Talk:Logical graph
Logical Graph Sandbox: alternate readings
+96
5 December 2008
Talk:Logical graph
Logical Graph Sandbox: comparison
+333
Talk:Logical graph
Logical Graph Sandbox: More thoughts on Peirce's law …
+287
Talk:Logical graph
Logical Graph Sandbox: More thoughts on Peirce's law …
+5
Talk:Logical graph
move sandbox to bottom
+31
4 December 2008
Talk:Logical graph
Discussion: insert [hand]
+5
Talk:Logical graph
Solution
-3
Talk:Logical graph
Solution: sub [recasting/representing]
-3
Talk:Logical graph
Solution: sub [representing/expressing]
+2
Talk:Logical graph
Logical Equivalence Problem: add § for critical reflection
+53
Talk:Logical graph
Discussion: + logical constants
+536