User contributions
13 December 2008
User:Jon Awbrey/TABLE
Functional Quantifiers: make room for new table
+15
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
redo tables
+12,465
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
redo tables
+19,652
Talk:Logical graph
Tables: sub [0/1]
Talk:Logical graph
Tables: tables a la escher
+9,685
User:Jon Awbrey/TABLE
Functional Quantifiers: checkerboard tables
+9,600
12 December 2008
Talk:Logical graph
Tables: redo beta table
+9,280
User:Jon Awbrey/TABLE
Functional Quantifiers: redo beta table
+9,280
User:Jon Awbrey/TABLE
Functional Quantifiers: insert missing heading
+15
Talk:Logical graph
Tables: redo alpha table as fractal checkerboard
+9,204
User:Jon Awbrey/TABLE
Functional Quantifiers: fractal checkerboard
+9,232
User:Jon Awbrey/TABLE
Functional Quantifiers
+723
User:Jon Awbrey/TABLE
Test Patterns
+531
User:Jon Awbrey/TABLE
Functional Quantifiers: + [test patterns]
+205
User:Jon Awbrey/TABLE
Functional Quantifiers: cleanup
-2,091
User:Jon Awbrey/TABLE
+ § [functional quantifiers]
+17,012
Talk:Logical graph
Functional Quantifiers: + table of simple qualifiers with props arranged by group orbits
+2,687
Talk:Logical graph
Functional Quantifiers: blanks for zeroes
+176
Talk:Logical graph
Functional Quantifiers: add explicit types for clarity
+41
Talk:Logical graph
Functional Quantifiers: change notation : p, q → u, v
Talk:Logical graph
Tables: rearrange alpha table as incidence matrix on same order of indices as beta table
+76
Talk:Logical graph
Tables: sub [above or identical to/above], sub [below or identical to/below]
+32
Talk:Logical graph
Functional Quantifiers: sub [links/maps]
-158
Talk:Logical graph
Functional Quantifiers: del [its]
-4
Talk:Logical graph
Undo revision 74577 by Jon Awbrey (Talk)
-4
Talk:Logical graph
Tables
+4
Talk:Logical graph
Functional Quantifiers
+22
11 December 2008
Talk:Logical graph
Tables: add dyadic umpire formulas to table captions
+68
Talk:Logical graph
Tables: add explanation
+122
Talk:Logical graph
Tables: interpretation of alpha & beta in terms of the implication lattice
+381
Talk:Logical graph
Functional Quantifiers: bold definienda, tabular formating
+353
Talk:Logical graph
Functional Quantifiers: \langle \rangle
+107
Talk:Logical graph
Functional Quantifiers: trim
-17
Talk:Logical graph
Functional Quantifiers
-8
Talk:Logical graph
Functional Quantifiers
+141
Talk:Logical graph
Functional Quantifiers: rephrase one more time for good measure
+126
Talk:Logical graph
Functional Quantifiers
+366
Talk:Logical graph
Functional Quantifiers
-27
Talk:Logical graph
reorganize
-12
Talk:Logical graph
Functional quantifiers
-49
Talk:Logical graph
Functional quantifiers: + definition
+412
Talk:Logical graph
Oct 2008 : Classical vs. Constructive Mathematics
+6
Talk:Logical graph
Bridges And Barriers: wikify
+131
Talk:Logical graph
Bridges And Barriers: wikify
-93
Talk:Logical graph
Bridges And Barriers: wikify
+52
Talk:Logical graph
Inquiry Into Intuitionism: sp
+1
Talk:Logical graph
Bridges And Barriers: + section + notes
+7,906
10 December 2008
Talk:Logical graph
Inquiry Into Intuitionism
+35
Talk:Logical graph
reorganize
+28
Talk:Logical graph
Inquiry Into Intuitionism: space
+1