Search results

• Logic of Relatives (1870)
  ...Sciences]]'' in 1870. The paper is one of the wellsprings of contemporary systems of logic. [[Category:Formal Languages]]
  2 KB (280 words) - 02:10, 7 July 2008
• Directory:Jon Awbrey/Projects/Differential Logic
  ...s that govern the use of a ''differential logical calculus'', that is, a [[formal system]] with the expressive capacity to describe change and diversity in l .../Differential Logic and Dynamic Systems 2.0|Differential Logic and Dynamic Systems 2.0]]
  2 KB (199 words) - 15:08, 30 July 2013
• Differential logic
  ...les that govern the use of a ''differential logical calculus'', that is, a formal system with the expressive capacity to describe change and diversity in log .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
  6 KB (662 words) - 22:28, 5 November 2015
• Residential Leasing
  ...to being. In some legal systems, this has unfortunate consequences. When a formal tenancy is created, the law usually implies obligations for the lessor, e.g
  1 KB (211 words) - 18:58, 31 July 2007
• Parametric operator
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  5 KB (572 words) - 04:16, 7 November 2015
• Logic of Relatives (1883)
  [[Category:Formal Languages]] [[Category:Formal Sciences]]
  2 KB (252 words) - 02:12, 7 July 2008
• Multigrade operator
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  5 KB (618 words) - 04:12, 7 November 2015
• Relative term
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  5 KB (599 words) - 20:20, 16 November 2015
• Directory:Houston Sprinkler Systems
  ...cape's needs or repair an existing one. With our irrigation experience and formal training, we can be sure to promote water efficiency and the health of your ==[[Directory:Houston Sprinkler Systems/Houston Sprinkler Systems Services|Services]]==
  4 KB (557 words) - 04:25, 3 February 2010
• Logical disjunction
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  5 KB (656 words) - 00:40, 2 November 2015
• Logical conjunction
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  5 KB (658 words) - 02:00, 31 October 2015
• Logical equality
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  5 KB (664 words) - 04:18, 4 November 2015
• Universe of discourse
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  6 KB (702 words) - 19:14, 7 November 2015
• Logical NNOR
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  5 KB (678 words) - 03:44, 5 November 2015
• Logical NAND
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  5 KB (684 words) - 22:56, 4 November 2015
• Exclusive disjunction
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  6 KB (728 words) - 01:45, 31 October 2015
• Logical negation
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  6 KB (729 words) - 14:16, 5 November 2015
• Boolean-valued function
  In the formal sciences — mathematics, mathematical logic, statistics — and th ...entence is true. A truth predicate may have additional domains beyond the formal language domain, if that is what is required to determine a final truth val
  7 KB (806 words) - 21:14, 5 November 2015
• Logic of relatives
  ...t, even though all angles of approach must ultimately converge on the same formal subject matter. .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
  7 KB (919 words) - 22:48, 10 November 2015
• Relation construction
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  5 KB (621 words) - 19:18, 14 November 2015
• Hypostatic abstraction
  '''Hypostatic abstraction''' is a formal operation that takes an element of information, as expressed in a propositi ...ion of hypostatic abstraction, insofar as it can be observed to operate on formal linguistic expressions, is that it converts an adjective or some part of a
  7 KB (915 words) - 18:58, 10 November 2015
• Directory:Jon Awbrey
  ...//intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems] ...ndex.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
  15 KB (1,907 words) - 14:08, 9 October 2017
• Zeroth order logic
  ...he sixteen functions in one of several notations that are commonly used in formal logic. .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
  10 KB (1,357 words) - 16:04, 8 November 2015
• User:Jon Awbrey
  ...n_Awbrey/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems] ...wiki/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
  16 KB (2,092 words) - 14:20, 14 January 2021
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems
  {{DISPLAYTITLE:Inquiry Driven Systems}} • [[Inquiry Driven Systems|Contents]]
  15 KB (1,597 words) - 12:00, 15 April 2017
• Propositional calculus
  ...nal logic'' (or ''sentential logic''). Propositional logic is a domain of formal subject matter that is, up to somorphism, constituted by the structural rel In general terms, a calculus is a formal system that consists of a set of syntactic expressions (''well-formed formu
  17 KB (2,301 words) - 15:56, 7 November 2015
• Logical implication
  ...e the potential confusion is to begin with a focus on the various types of formal objects that are being discussed, of which there are only a few, taking up The main formal object under discussion is a logical operation on two logical values, typic
  16 KB (2,147 words) - 20:18, 4 November 2015
• Truth table
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  16 KB (2,190 words) - 03:25, 30 October 2015
• Directory:Jon Awbrey/Projects/Theme One Program
  [[Category:Adaptive Systems]] [[Category:Formal Languages]]
  18 KB (2,189 words) - 14:24, 9 August 2016
• Turing Award
  |''For his work on [[numerical methods]], automatic coding systems, and error-detecting and error-correcting codes'' ...s, notably through his work on [[FORTRAN]], and for seminal publication of formal procedures for the specification of [[programming language]]s''
  11 KB (1,508 words) - 10:52, 2 November 2006
• Peirce's law
  ...[[logical graphs]], Peirce's law is represented by means of the following formal equivalence or logical equation. .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems]
  11 KB (1,526 words) - 04:14, 18 November 2015
• Minimal negation operator
  ==Formal definition== ...A few bits of terminology are useful in describing the pictures, but the formal details are tedious reading, and may be familiar to many readers, so the fu
  23 KB (3,337 words) - 13:54, 3 September 2017
• Directory:The Wikipedia Point of View/NLP and science (Wikipedia)
  :Due to its inherent preference for pragmatism over theory, its lack of formal and theoretical structure, and its lack of controls over usage, NLP doesn't ...concludes "that the assertions of NLP writers concerning representational systems have been objectively and fairly investigated and found to be lacking."
  8 KB (1,297 words) - 09:23, 13 December 2008
• Cybernetics
  ...zations, mathematical systems theory, operations research, simulation, and systems engineering. A more philosophical definition, suggested in 1956 by Louis C ...he social implications of cybernetics, drawing analogies between automatic systems such as a regulated steam engine and human institutions in his best-selling
  14 KB (1,827 words) - 18:48, 27 July 2016
• Relation (mathematics)
  In mathematics, a '''finitary relation''' is defined by one of the formal definitions given below. ==Formal definitions==
  20 KB (2,925 words) - 17:08, 14 November 2015
• Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
  ...be developed, over and above the material of propositional logic. At the formal extreme there is the aspect of higher order functional types, into which we It's hard to tell if it makes any difference from a purely formal point of view, but it serves intuition to devise a slightly different inter
  81 KB (10,378 words) - 02:22, 5 July 2013
• Directory:Jon Awbrey/EPITEXT
  {{DISPLAYTITLE:Epitext for Differential Logic and Dynamic Systems}} ===Philosophy of Notation : Formal Terms and Flexible Types===
  22 KB (3,003 words) - 21:40, 2 July 2008
• User:Jon Awbrey/ARCHIVE
  * [[Propositional Equation Reasoning Systems]] ===Inquiry Driven Systems===
  39 KB (4,682 words) - 14:55, 21 May 2007
• Ordinal number
  ...nition must be abandoned in [[Zermelo-Fraenkel set theory|ZF]] and related systems of [[axiomatic set theory]] because these equivalence classes are too large ...[[type theory]] and in Quine's set theory [[New Foundations]] and related systems
  29 KB (4,819 words) - 16:23, 9 January 2007
• Relation theory
  ...o, its study from the perspectives of abstract algebra on the one hand and formal logic on the other. ...ociated with philosophical differences over the status in reality accorded formal objects. Among those who speak of numbers, functions, properties, relation
  25 KB (3,665 words) - 21:04, 16 November 2015
• Logical graph
  A '''logical graph''' is a graph-theoretic structure in one of the systems of graphical syntax that Charles Sanders Peirce developed for logic. ...developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.
  41 KB (5,845 words) - 14:26, 6 November 2015
• Directory:Jon Awbrey/Papers/Propositions As Types
  ...al definition for the operator <math>\operatorname{T},</math> in effect, a formal syntactic specification that tells how the operator is required to act on o ...math>\operatorname{T},</math> understood as a sequence of manipulations on formal identifiers, or on symbols taken as objects in their own rights.
  150 KB (9,422 words) - 23:54, 6 July 2013
• Directory:Peter Hale
  ...ing both increases in complexity of manufactured products, and of software systems themselves. Cheung (2005) writes "there is no single management tool or dat Horrocks (2002) explains the advantages of moving towards a more formal ontology. This can provide for a new way of enabling end-user programming -
  19 KB (2,806 words) - 13:35, 22 April 2007
• User:Roygbiv/Graph
  ...cal graph''' is a [[graph theory|graph-theoretic]] structure in one of the systems of graphical [[syntax]] that [http://mywikibiz.com/Charles_Sanders_Peirce C ...developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.
  42 KB (5,905 words) - 21:49, 22 May 2010
• Directory:Jon Awbrey/Papers/Differential Propositional Calculus
  ...out for discussing <math>X\!</math> in terms of <math>q,\!</math> and this formal language is more formally known as the ''propositional calculus'' with alph ...th>\boldsymbol\varepsilon\!</math> or <math>\boldsymbol\lambda\!</math> in formal languages, where it forms the identity element for concatenation. It may b
  158 KB (22,468 words) - 03:24, 27 December 2016
• Pragmatic Semiotic Information
  ...an be corralled by a single pen, but there do exist established models and formal theories that address definable aspects of uncertainty, and these have enou .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  20 KB (2,552 words) - 15:16, 2 March 2024
• Semiotic Information
  ...an be corralled by a single pen, but there do exist established models and formal theories that address definable aspects of uncertainty, and these have enou .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  20 KB (2,557 words) - 15:36, 5 November 2020
• Directory:Jon Awbrey/Papers/Semiotic Information
  ...an be corralled by a single pen, but there do exist established models and formal theories that address definable aspects of uncertainty, and these have enou .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  20 KB (2,560 words) - 14:10, 29 October 2016
• Relation reduction
  .../Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] .../Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems]
  29 KB (4,035 words) - 03:32, 15 November 2015
• Sign relation
  ...o ''C''. It is from this definition, together with a definition of &ldquo;formal&rdquo;, that I deduce mathematically the principles of logic. I also make ...he is invoking a more general concept of determination, what is called a ''formal'' or ''informational'' determination, as in saying &ldquo;two points determ
  58 KB (8,260 words) - 03:40, 21 November 2016

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