Difference between revisions of "Multigrade operator"
MyWikiBiz, Author Your Legacy — Saturday May 04, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (→Document history: update) |
Jon Awbrey (talk | contribs) (→Syllabus: update) |
||
| Line 5: | Line 5: | ||
The application of a multigrade operator <math>\Omega</math> to a finite sequence of operands (''x''<sub>1</sub>, …, ''x''<sub>''k''</sub>) is typically denoted with the parameter ''k'' left tacit, as the appropriate application is implicit in the number of operands listed. Thus <math>\Omega</math>(''x''<sub>1</sub>, …, ''x''<sub>''k''</sub>) may be taken for <math>\Omega</math><sub>''k''</sub>(''x''<sub>1</sub>, …, ''x''<sub>''k''</sub>). | The application of a multigrade operator <math>\Omega</math> to a finite sequence of operands (''x''<sub>1</sub>, …, ''x''<sub>''k''</sub>) is typically denoted with the parameter ''k'' left tacit, as the appropriate application is implicit in the number of operands listed. Thus <math>\Omega</math>(''x''<sub>1</sub>, …, ''x''<sub>''k''</sub>) may be taken for <math>\Omega</math><sub>''k''</sub>(''x''<sub>1</sub>, …, ''x''<sub>''k''</sub>). | ||
| − | == | + | ==Syllabus== |
| + | ===Focal nodes=== | ||
| + | |||
| + | {{col-begin}} | ||
| + | {{col-break}} | ||
| + | * [[Inquiry Live]] | ||
| + | {{col-break}} | ||
| + | * [[Logic Live]] | ||
| + | {{col-end}} | ||
| + | |||
| + | ===Peer nodes=== | ||
| + | |||
| + | {{col-begin}} | ||
| + | {{col-break}} | ||
| + | * [http://mywikibiz.com/Multigrade_operator Multigrade Operator @ MyWikiBiz] | ||
| + | * [http://mathweb.org/wiki/Multigrade_operator Multigrade Operator @ MathWeb Wiki] | ||
| + | * [http://netknowledge.org/wiki/Multigrade_operator Multigrade Operator @ NetKnowledge] | ||
| + | {{col-break}} | ||
| + | * [http://wiki.oercommons.org/mediawiki/index.php/Multigrade_operator Multigrade Operator @ OER Commons] | ||
| + | * [http://p2pfoundation.net/Multigrade_Operator Multigrade Operator @ P2P Foundation] | ||
| + | * [http://semanticweb.org/wiki/Multigrade_operator Multigrade Operator @ SemanticWeb] | ||
| + | {{col-end}} | ||
| + | |||
| + | ===Logical operators=== | ||
| + | |||
| + | {{col-begin}} | ||
| + | {{col-break}} | ||
| + | * [[Exclusive disjunction]] | ||
| + | * [[Logical conjunction]] | ||
| + | * [[Logical disjunction]] | ||
| + | * [[Logical equality]] | ||
| + | {{col-break}} | ||
| + | * [[Logical implication]] | ||
| + | * [[Logical NAND]] | ||
| + | * [[Logical NNOR]] | ||
| + | * [[Logical negation|Negation]] | ||
| + | {{col-end}} | ||
| + | |||
| + | ===Related topics=== | ||
| + | |||
| + | {{col-begin}} | ||
| + | {{col-break}} | ||
| + | * [[Ampheck]] | ||
| + | * [[Boolean domain]] | ||
| + | * [[Boolean function]] | ||
| + | * [[Boolean-valued function]] | ||
| + | * [[Differential logic]] | ||
| + | {{col-break}} | ||
| + | * [[Logical graph]] | ||
| + | * [[Minimal negation operator]] | ||
| + | * [[Multigrade operator]] | ||
* [[Parametric operator]] | * [[Parametric operator]] | ||
| + | * [[Peirce's law]] | ||
| + | {{col-break}} | ||
| + | * [[Propositional calculus]] | ||
| + | * [[Sole sufficient operator]] | ||
| + | * [[Truth table]] | ||
| + | * [[Universe of discourse]] | ||
| + | * [[Zeroth order logic]] | ||
| + | {{col-end}} | ||
| + | |||
| + | ===Relational concepts=== | ||
| + | |||
| + | {{col-begin}} | ||
| + | {{col-break}} | ||
| + | * [[Continuous predicate]] | ||
| + | * [[Hypostatic abstraction]] | ||
| + | * [[Logic of relatives]] | ||
| + | * [[Logical matrix]] | ||
| + | {{col-break}} | ||
| + | * [[Relation (mathematics)|Relation]] | ||
| + | * [[Relation composition]] | ||
| + | * [[Relation construction]] | ||
| + | * [[Relation reduction]] | ||
| + | {{col-break}} | ||
| + | * [[Relation theory]] | ||
| + | * [[Relative term]] | ||
| + | * [[Sign relation]] | ||
| + | * [[Triadic relation]] | ||
| + | {{col-end}} | ||
| + | |||
| + | ===Information, Inquiry=== | ||
| + | |||
| + | {{col-begin}} | ||
| + | {{col-break}} | ||
| + | * [[Inquiry]] | ||
| + | * [[Logic of information]] | ||
| + | {{col-break}} | ||
| + | * [[Descriptive science]] | ||
| + | * [[Normative science]] | ||
| + | {{col-break}} | ||
| + | * [[Pragmatic maxim]] | ||
| + | * [[Pragmatic theory of truth]] | ||
| + | {{col-break}} | ||
| + | * [[Semeiotic]] | ||
| + | * [[Semiotic information]] | ||
| + | {{col-end}} | ||
| + | |||
| + | ===Related articles=== | ||
| + | |||
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, “Introduction To Inquiry Driven Systems”] | ||
| + | |||
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, “Prospects For Inquiry Driven Systems”] | ||
| + | |||
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, “Inquiry Driven Systems : Inquiry Into Inquiry”] | ||
| + | |||
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”] | ||
| + | |||
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] | ||
| + | |||
| + | * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”] | ||
| + | |||
| + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, “Differential Logic and Dynamic Systems”] | ||
==Document history== | ==Document history== | ||
Revision as of 00:41, 11 May 2010
☞ This page belongs to resource collections on Logic and Inquiry.
In logic and mathematics, a multigrade operator \(\Omega\) is a parametric operator with parameter k in the set N of non-negative integers.
The application of a multigrade operator \(\Omega\) to a finite sequence of operands (x1, …, xk) is typically denoted with the parameter k left tacit, as the appropriate application is implicit in the number of operands listed. Thus \(\Omega\)(x1, …, xk) may be taken for \(\Omega\)k(x1, …, xk).
Syllabus
Focal nodes
Template:Col-breakTemplate:Col-breakTemplate:Col-endPeer nodes
- Multigrade Operator @ MyWikiBiz
- Multigrade Operator @ MathWeb Wiki
- Multigrade Operator @ NetKnowledge
- Multigrade Operator @ OER Commons
- Multigrade Operator @ P2P Foundation
- Multigrade Operator @ SemanticWeb
Logical operators
Related topics
- Propositional calculus
- Sole sufficient operator
- Truth table
- Universe of discourse
- Zeroth order logic
Relational concepts
Information, Inquiry
Related articles
Document history
Portions of the above article were adapted from the following sources under the GNU Free Documentation License, under other applicable licenses, or by permission of the copyright holders.
- Multigrade Operator, MyWikiBiz
- Multigrade Operator, MathWeb Wiki
- Multigrade Operator, PlanetMath
- Multigrade Operator, PlanetPhysics
- Multigrade Operator, ProofWiki
- Multigrade Operator, Wikiversity Beta
- Multigrade Operator, GetWiki
- Multigrade Operator, Wikinfo
- Multigrade Operator, Textop Wiki
- Multigrade Operator, Wikipedia
<sharethis />
