Search results

• User:Jon Awbrey/THEORY
  =Truth Theory (23 Jun 2006)= ...ped by means of definite ''[[rules of inference]]''. The scope of a truth theory can be restricted to tightly-controlled and well-bounded universes of disco
  81 KB (11,851 words) - 18:53, 20 August 2007
• Directory:Jon Awbrey/THEORY
  =Truth Theory (23 Jun 2006)= ...ped by means of definite ''[[rules of inference]]''. The scope of a truth theory can be restricted to tightly-controlled and well-bounded universes of disco
  81 KB (11,851 words) - 22:22, 25 January 2008
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 4
  {{DISPLAYTITLE:Inquiry Driven Systems : Part 4}} • [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems|Contents]]
  92 KB (15,197 words) - 14:40, 24 August 2017
• Directory:Jon Awbrey/Papers/Dynamics And Logic
  ...adaptation draws on the "Cactus Rules", "Propositional Equation Reasoning Systems", and "Reductions Among Relations" threads, and will in time be applied to ...bles, giving equivalent expressions for each function in several different systems of notation.
  127 KB (18,875 words) - 13:28, 10 December 2014
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  ...inition that broad naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative a ...bles, giving equivalent expressions for each function in several different systems of notation.
  131 KB (20,198 words) - 15:38, 2 December 2015
• Directory:Jon Awbrey/Papers/Introduction to Inquiry Driven Systems
  {{DISPLAYTITLE:Introduction to Inquiry Driven Systems}} ...d on the pragmatic theory of inquiry and its relationship to the pragmatic theory of signs.
  121 KB (16,341 words) - 04:34, 30 October 2015
• Directory:Jon Awbrey/Papers/Propositions As Types
  ...''Introduction to Combinators and <math>\lambda</math>-Calculus'', London Mathematical Society Student Texts No.&nbsp;1, Cambridge University Press, Cambridge, UK <p>In graph theory the arrows are usually called ''oriented edges'' and the objects ''nodes''
  150 KB (9,422 words) - 23:54, 6 July 2013
• User:Jon Awbrey/DIFF/A
  ...that will extend a gentle invitation to the mathematical subject of group theory, and demonstrate its relevance to differential logic in a strikingly apt an ...e opportune to mention at this point, while we have an object example of a mathematical group fresh in mind, is the relationship between the pragmatic maxim and wh
  112 KB (11,050 words) - 14:19, 22 May 2007
• User:Jon Awbrey/Differential Logic Archive 2002
  to the mathematical subject of "group theory", and demonstrate its while we have an object example of a mathematical group fresh in mind,
  134 KB (14,931 words) - 13:30, 5 December 2014
• Technology
  ...olves the use and application of knowledge (e.g., scientific, engineering, mathematical, [[language]], and historical), both formally and informally, to achieve so ...uture.org/sarkar/prabhat.htm Prabhat rainjan sarkar's modern social cycles theory]. For a more westernized version of social cyclicity, see ''Generations :
  30 KB (4,474 words) - 20:35, 27 November 2011
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  ...brands of iconicity are worth buying, at least when it comes to graphical systems of logic, it will useful to introduce one more distinction that affects the .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems].
  168 KB (21,027 words) - 12:41, 6 August 2017
• Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems
  {{DISPLAYTITLE:Propositional Equation Reasoning Systems}} ...family of formal calculi described as '''propositional equation reasoning systems''' ('''PERS'''). This work follows on the ''alpha graphs'' that Charles Sa
  157 KB (17,761 words) - 03:44, 10 November 2016
• Directory:Jon Awbrey/Papers/Theme One Program : Exposition
  the graphs that are called "cacti" and "conifers" in graph theory, The graph itself is a mathematical object and does not inhabit
  94 KB (8,938 words) - 22:12, 9 December 2015
• User:Jon Awbrey/PROSPECT
  Prospects for Inquiry Driven Systems Systems Engineering : Interest Statement
  162 KB (25,941 words) - 13:28, 9 January 2008
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
  {{DISPLAYTITLE:Inquiry Driven Systems : Part 3}} &bull; [[Directory:Jon Awbrey/Papers/Inquiry Driven Systems|Contents]]
  138 KB (23,322 words) - 14:50, 4 January 2015
• User:Jon Awbrey/PEIRCE
  ...her hand, is a type of formal object that is treated in the mathematical ''theory of relations''. There is of course an intimate relationship between the tw {{main|Theory of relations}}
  74 KB (11,616 words) - 23:56, 21 May 2010
• Directory:Jon Awbrey/Papers/Differential Logic
  ...bles, giving equivalent expressions for each function in several different systems of notation. ...hat will extend a gentle invitation to the mathematical subject of ''group theory'', and demonstrate its relevance to differential logic in a strikingly apt
  145 KB (19,916 words) - 19:32, 11 December 2014
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
  {{DISPLAYTITLE:Differential Logic and Dynamic Systems 3.0}} ...he current version of this document is '''[[Differential Logic and Dynamic Systems 2.0]].'''''
  519 KB (74,456 words) - 15:46, 3 October 2013
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  ====Linear Topics : The Differential Theory of Qualitative Equations==== ...ctures that are employed in mathematical systems theory to model dynamical systems of very general sorts.
  369 KB (46,156 words) - 04:20, 27 December 2016
• Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives
  ...-context. Current style sheets for mathematical texts specify italics for mathematical variables, with upper case letters for sets and lower case letters for indi ...are so replete with remarkable ideas, some of them so taken for granted in mathematical discourse that they usually escape explicit mention, and others so suggesti
  226 KB (33,992 words) - 16:22, 29 December 2017

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