User contributions
29 March 2009
Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
blockquote workaround
+1,591
Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
Selection 1: sub[ ——/ ---]
+96
User:Jon Awbrey/SCRATCHPAD
Blockquote Formats
-3
Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
Selection 1: blockquote workaround
+72
User:Jon Awbrey/SCRATCHPAD
Division Styles
+6
User:Jon Awbrey/SCRATCHPAD
Division Styles
+7
User:Jon Awbrey/SCRATCHPAD
Division Styles
+61
User:Jon Awbrey/SCRATCHPAD
+ division styles
+85
Directory:Jon Awbrey/Papers/Propositions As Types
Category: close bracket
+4
Directory:Jon Awbrey/Papers/Propositions As Types
Cartesian Closed Category: markup
+370
Directory:Jon Awbrey/Papers/Propositions As Types
Intuitionistic Propositional Calculus
+4
Directory:Jon Awbrey/Papers/Propositions As Types
Classical Propositional Calculus: close bracket
+4
Directory:Jon Awbrey/Papers/Propositions As Types
Category 2: close bracket
+4
Directory:Jon Awbrey/Papers/Propositions As Types
Cartesian Category: markup
+318
Directory:Jon Awbrey/Papers/Propositions As Types
Category 2: markup
+164
28 March 2009
Directory:Jon Awbrey/Papers/Propositions As Types
Classical Propositional Calculus: markup
+168
Directory:Jon Awbrey/Papers/Propositions As Types
Positive Intuitionistic Propositional Calculus: spacing
+14
Directory:Jon Awbrey/Papers/Propositions As Types
Conjunction Calculus: spacing
+16
Directory:Jon Awbrey/Papers/Propositions As Types
Deductive System 2: spacing
+12
Directory:Jon Awbrey/Papers/Propositions As Types
Deductive System: use \dfrac
-35
27 March 2009
Directory:Jon Awbrey/Papers/Propositions As Types
Intuitionistic Propositional Calculus: markup
+261
Directory:Jon Awbrey/Papers/Propositions As Types
Positive Intuitionistic Propositional Calculus: markup
+298
Directory:Jon Awbrey/Papers/Propositions As Types
Conjunction Calculus: markup
+294
Directory:Jon Awbrey/Papers/Propositions As Types
Deductive System 2
-1
Directory:Jon Awbrey/Papers/Propositions As Types
Graph 2: + page number
+30
Directory:Jon Awbrey/Papers/Propositions As Types
Deductive System 2: markup
+121
Directory:Jon Awbrey/Papers/Propositions As Types
Basic Concepts from Lambek and Scott (1986)
-12
Directory:Jon Awbrey/Papers/Propositions As Types
Graph (Review): markup
+126
Directory:Jon Awbrey/Papers/Propositions As Types
Natural Transformation: indent diagram
+45
Directory:Jon Awbrey/Papers/Propositions As Types
Natural Transformation
+274
Directory:Jon Awbrey/Papers/Propositions As Types
Functor: spacing
+16
Directory:Jon Awbrey/Papers/Propositions As Types
Category: spacing
+8
Directory:Jon Awbrey/Papers/Propositions As Types
Deductive System: spacing
+8
Directory:Jon Awbrey/Papers/Propositions As Types
Graph: center figure
+11
Directory:Jon Awbrey/Papers/Propositions As Types
Functor: markup
+180
Directory:Jon Awbrey/Papers/Propositions As Types
Functor: markup
+244
Directory:Jon Awbrey/Papers/Propositions As Types
Category: close bracket
+3
Directory:Jon Awbrey/Papers/Propositions As Types
Category: markup
+135
Directory:Jon Awbrey/Papers/Propositions As Types
Deductive System: markup
+225
26 March 2009
Directory:Jon Awbrey/Papers/Propositions As Types
Graph: markup
+36
Directory:Jon Awbrey/Papers/Propositions As Types
Basic Concepts from Lambek and Scott (1986)
+240
Directory:Jon Awbrey/Papers/Propositions As Types
Concrete Category: markup
+15
Directory:Jon Awbrey/Papers/Propositions As Types
Concrete Category: markup
+212
Directory:Jon Awbrey/Papers/Propositions As Types
Category
+9
Directory:Jon Awbrey/Papers/Propositions As Types
Basic Concepts from Lambek and Scott (1986): segment
+281
Directory:Jon Awbrey/Papers/Propositions As Types
Work Area
+104
Directory:Jon Awbrey/Papers/Propositions As Types
Bibliography
+33
Directory:Jon Awbrey/Papers/Propositions As Types
Commentary Note 2: markup
-159
Directory:Jon Awbrey/Papers/Propositions As Types
Commentary Note 1
+8
Directory:Jon Awbrey/Papers/Propositions As Types
Commentary Note 1: markup
+123