User contributions
17 November 2009
16 November 2009
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Umpire Operators: sub [ <math>\iff</math> / <math>\Leftrightarrow</math> ] + cleanup
+69
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Umpire Operators: use \texttt typeface for logical ops
+17
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Umpire Operators: use \texttt typeface for logical ops + clarify a bit
+91
File:Benjamin Peirce -- LAA Page 5.png
source + rights
+201
File:Benjamin Peirce -- LAA Page 5.jpg
source + rights
+201
File:Benjamin Peirce -- LAA Section 15.png
source + rights
+201
File:Benjamin Peirce -- LAA § 15.png
source + rights
+201
File:Benjamin Peirce -- LAA Section 15.jpg
source + rights
+201
File:Benjamin Peirce -- LAA § 15.jpg
source + rights
+201
File:Benjamin Peirce -- e^(i pi).png
no edit summary
File:Benjamin Peirce -- e^(i pi).jpg
no edit summary
File:Benjamin Peirce -- LAA Page 5.png
no edit summary
File:Benjamin Peirce -- LAA Page 5.jpg
no edit summary
File:Benjamin Peirce -- LAA Section 15.png
no edit summary
File:Benjamin Peirce -- LAA § 15.png
no edit summary
File:Benjamin Peirce -- LAA Section 15.jpg
no edit summary
File:Benjamin Peirce -- LAA § 15.jpg
no edit summary
5 November 2009
Directory:Jon Awbrey
Recent Sightings: update
+120
User:Jon Awbrey
Recent Sightings: fix links
+20
User:Jon Awbrey
Recent Sightings: add item
+100
3 November 2009
30 October 2009
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Higher Order Propositions and Logical Operators (''n'' = 2): use \texttt typeface for logical ops
+114
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Higher Order Propositions and Logical Operators (''n'' = 2): use \texttt typeface for logical ops
-313
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Higher Order Propositions and Logical Operators (''n'' = 1): \texttt typeface for logical ops
+18
Minimal negations
#REDIRECT minimal negation operator
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Abstract
-10
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Abstract: + note on notation
+627
28 October 2009
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositional Expressions: <math> for $
+22
Minimal negation operation
#REDIRECT minimal negation operator
Minimal negation operators
#REDIRECT minimal negation operator
Minimal negation operations
#REDIRECT minimal negation operator
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositional Expressions: + note on notation
+605
25 October 2009
User talk:Ockham
Wikipedia:Neutral point of view/Noticeboard: ???
+98
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
Extending the Existential Interpretation to Quantificational Logic: convert graphic to PNG
-2,563
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Extending the Existential Interpretation to Quantificational Logic: convert graphic to PNG
-2,562
File:Venn Diagram 4 Dimensions UV Cacti 8 Inch.png
no edit summary
File:Venn Diagram 4 Dimensions UV Cacti 8 Inch.jpg
no edit summary
File:Venn Diagram 4 Dimensions UV Cacti 8 Inch.gif
no edit summary
23 October 2009
Directory:Jon Awbrey
Recent Sightings: delete broken links to wikipedia review : it's apparently died of a staff infection
-145
User:Jon Awbrey
Recent Sightings: delete broken links to wikipedia review
-145
Inquiry
redo figure style, fix quotation marks and italics
-104
22 October 2009
Inquiry
center figures
+381
Inquiry
redo blockquotes
+129
Inquiry
redo blockquotes
+233
Inquiry
Document history: no indent, del periods
-6
Inquiry
+ Document History
+504
Inquiry
redo blockquotes
+280
Inquiry
See also: apply column templates, fix ndashes
+35