Search results

• Zeroth order logic
  ...ctions in the form '''f_i''', where the index '''i''' is a [[bit string]] formed from the sequence of boolean values in '''L₃'''.
  10 KB (1,357 words) - 16:04, 8 November 2015
• Directory:Jon Awbrey/MathJax Problems
  ...eteq \mathbb{B}^3,\!</math> where the triples <math>(p, q, r)\!</math> are bit-tuples indicated by the proposition <math>f.\!</math> ...move the information around without changing its measure in the slightest bit.
  59 KB (5,442 words) - 19:40, 8 November 2016
• Directory:Jon Awbrey/Papers/Theme One Program : Exposition
  can be encoded in the form of character string that is naturally reconstructs the cactus string that parses into it.
  94 KB (8,938 words) - 22:12, 9 December 2015
• Logical graph
  ...picture will lead us to see that we can get the corresponding parenthesis string by starting at the root of the tree, climbing up the left side of the tree ...be a bit loose in this language, often using ''parse string'' to mean the string that gets parsed into the associated graph.
  41 KB (5,845 words) - 14:26, 6 November 2015
• User:Roygbiv/Graph
  ...picture will lead us to see that we can get the corresponding parenthesis string by starting at the root of the tree, climbing up the left side of the tree ...a bit loose in this language, often using ''[[parse string]]'' to mean the string that gets parsed into the associated graph.
  42 KB (5,905 words) - 21:49, 22 May 2010
• Directory:Jon Awbrey/Papers/Change In Logic
  the logical side of the analogy a bit more fully, and to take up that result from parsing the Cactus string expressions,
  73 KB (6,208 words) - 04:08, 11 December 2016
• Directory:Jon Awbrey/Papers/Cactus Language
  ...d by giving each grammatical sentence, or each syntactically distinguished string, an interpretation as a logically meaningful sentence, in effect, equipping ...r of quotation marks is a sign at a higher level of signification than the string of one character inside the second pair of quotation marks. This relations
  211 KB (31,551 words) - 20:44, 2 August 2017
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...picture will lead us to see that we can get the corresponding parenthesis string by starting at the root of the tree, climbing up the left side of the tree ...be a bit loose in this language, often using ''parse string'' to mean the string that gets parsed into the associated graph.
  168 KB (21,027 words) - 12:41, 6 August 2017
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  ...ahead and use any and all of these terms as loosely as I see fit, taking a bit of extra care only when I see the need. ...n anything like a satisfactory fashion. Nevertheless, I will not mind one bit if you keep them in mind as we go.
  157 KB (17,761 words) - 03:44, 10 November 2016
• User:Jon Awbrey/Differential Logic Archive 2002
  Written as a string, this is just the concatenation "x y". The notation is a little bit awkward, but the data of the Table should
  134 KB (14,931 words) - 13:30, 5 December 2014
• Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
  By way of equipping this inquiry with a bit of concrete material, I begin with a consideration of ''higher order propos ...d the 1-dimensional case, since these lower dimensional cases tend to be a bit ''condensed'' or ''degenerate'' in their structures, and a lot of what is g
  106 KB (13,991 words) - 18:45, 18 March 2020
• Directory:Jon Awbrey/Papers/Differential Logic
  Written as a string, this is just the concatenation "<math>x~y\!</math>". ...resentation that we'd encounter. More likely, the story would go a little bit like this:
  145 KB (19,916 words) - 19:32, 11 December 2014
• User:Badmachine/wikipedia-en-2015-07-15
  [02:35:31] <Sir_Designer> actually, that is a bit surprising, considering how many woman-voiced folk metal bands are around.. [03:16:23] <{Soap}> m cutting back a bit on coffeee
  92 KB (11,781 words) - 01:17, 22 July 2015
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  ...The next order of business is to develop the logical side of the analogy a bit more fully, and to take up the elaboration of some moderately simple applic ...actual graph-theoretic data-structures that result from parsing the cactus string expressions, the ''painted and rooted cactus expressions'' (PARCE's). Fina
  369 KB (46,156 words) - 04:20, 27 December 2016
• User:Badmachine/wikipedia-en-2011-11-02
  ...admin followed by the request | No public logging | Cloak requests: http://bit.ly/IRCcloaks�' [15:46] <LauraHale> The land down under is a bit chilly but nice.
  95 KB (12,042 words) - 23:19, 24 January 2015
• Directory:Jon Awbrey/Papers/Dynamics And Logic
  Written as a string, this is just the concatenation <math>p~q</math>. ...three letters, <math>\operatorname{Sym}(3).</math> After doing the usual bit of compare and contrast among the various representations, we will have eno
  127 KB (18,875 words) - 13:28, 10 December 2014
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  Written as a string, this is just the concatenation <math>p~q\!</math>. ...p on three letters, <math>\mathrm{Sym}(3).\!</math> After doing the usual bit of compare and contrast among the various representations, we will have eno
  131 KB (20,198 words) - 15:38, 2 December 2015
• User:Badmachine/wikipedia-en-2011-11-13
  ...admin followed by the request | No public logging | Cloak requests: http://bit.ly/IRCcloaks�' [10:40] <LL2|JedIRC> Petan: can you bit.ly that?
  166 KB (21,657 words) - 04:56, 24 January 2015
• User:Badmachine/wikipedia-en-2011-11-20
  ...admin followed by the request | No public logging | Cloak requests: http://bit.ly/IRCcloaks�' ...admin followed by the request | No public logging | Cloak requests: http://bit.ly/IRCcloaks�'
  45 KB (5,803 words) - 04:48, 24 January 2015
• User:Badmachine/wikipedia-en-2011-10-24
  ...admin followed by the request | No public logging | Cloak requests: http://bit.ly/IRCcloaks�' ...admin followed by the request | No public logging | Cloak requests: http://bit.ly/IRCcloaks�'
  98 KB (12,080 words) - 01:22, 25 January 2015

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)