Search results

Page title matches

• Zeroth order logic
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...es, monadic predicate calculus, [[propositional calculus]], and sentential logic.&nbsp; The term serves to mark a level of abstraction in which the more ine
  10 KB (1,357 words) - 16:04, 8 November 2015
• Zeroth Order Logic
  #REDIRECT [[Zeroth order logic]]
  32 bytes (4 words) - 16:14, 8 November 2015
• Functional Logic : Higher Order Propositions
  #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]
  86 bytes (10 words) - 02:42, 9 September 2017
• Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions
  {{DISPLAYTITLE:Functional Logic : Higher Order Propositions}} ...sitions about things in <math>X,</math> the first of a series of '''higher order propositions''' based on <math>X.</math>
  105 KB (15,890 words) - 03:12, 4 July 2013

Page text matches

• Zeroth Order Logic
  #REDIRECT [[Zeroth order logic]]
  32 bytes (4 words) - 16:14, 8 November 2015
• User:Jon Awbrey/HISTORY
  ===Sep &mdash; Zeroth Order Logic=== ===Dec &mdash; Functional Conception Of Quantificational Logic===
  7 KB (890 words) - 14:20, 12 June 2009
• Functional Logic : Higher Order Propositions
  #REDIRECT [[Directory:Jon Awbrey/Papers/Functional Logic : Higher Order Propositions]]
  86 bytes (10 words) - 02:42, 9 September 2017
• Directory:Jon Awbrey/Projects/Logic Of Information
  {{DISPLAYTITLE:Project : Logic Of Information}} * [[Directory:Jon Awbrey/Papers/Peirce's Logic Of Information|Peirce's Logic Of Information]]
  2 KB (182 words) - 04:04, 19 June 2007
• Logic Live
  ...intoinquiry.com/2012/05/17/inquiry-live-and-logic-live/ Inquiry Live &amp; Logic Live] * [[Logic Live]]
  3 KB (396 words) - 19:32, 17 September 2020
• Directory:Jon Awbrey/Projects/Semiotic Theory Of Information
  * [[Boolean logic]] * [[Zeroth order logic]]
  1 KB (130 words) - 20:24, 21 May 2010
• User:Jon Awbrey/DIFF/C
  <font size=4>'''Differential Logic : Series C'''</font><br> ...od to summarize, in rough but intuitive terms, the outlook on differential logic that we have reached so far.
  9 KB (833 words) - 14:26, 22 May 2007
• Logic Syllabus
  ==Logic Syllabus== * [[Differential logic]]
  3 KB (346 words) - 18:30, 27 May 2020
• Differential logic
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...]] that are subject to logical description. In formal logic, differential logic treats the principles that govern the use of a ''differential logical calcu
  6 KB (662 words) - 22:28, 5 November 2015
• Directory:Jon Awbrey/Projects/Cactus Language
  * [[Zeroth order logic]] * [http://forum.wolframscience.com/printthread.php?threadid=726&perpage=3 Logic In Graphs]
  1 KB (155 words) - 13:34, 22 May 2009
• Relative term
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...to any number of other objects, called the ''correlates'' of the term, in order to denote a definite object, called the ''relate''¹ of the relat
  5 KB (599 words) - 20:20, 16 November 2015
• Logical matrix
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]
  5 KB (541 words) - 16:12, 11 November 2015
• Zeroth order logic
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...es, monadic predicate calculus, [[propositional calculus]], and sentential logic.&nbsp; The term serves to mark a level of abstraction in which the more ine
  10 KB (1,357 words) - 16:04, 8 November 2015
• Normative science
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...aditional conceptions in philosophy, are ''aesthetics'', ''ethics'', and ''logic''.
  5 KB (568 words) - 16:10, 4 November 2020
• Descriptive science
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]
  5 KB (556 words) - 16:15, 4 November 2020
• Parametric operator
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]
  5 KB (572 words) - 04:16, 7 November 2015
• Boolean domain
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. * [[Logic Live]]
  5 KB (561 words) - 19:54, 5 November 2015
• Sole sufficient operator
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...very operator in a specified class of operators.&nbsp; In the context of [[logic]], it is a logical operator that suffices to generate every [[boolean-value
  5 KB (626 words) - 18:07, 7 November 2015
• Relation construction
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. In logic and mathematics, '''relation construction''' and '''relational constructibi
  5 KB (621 words) - 19:18, 14 November 2015
• User:Jon Awbrey/SYLLABUS
  ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. ...">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].<br>&nbsp;</p>
  6 KB (706 words) - 19:02, 9 June 2010

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