Line 1: |
Line 1: |
| <font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. | | <font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. |
| | | |
− | In [[logic]] and [[mathematics]], '''relation construction''' and '''relational constructibility''' have to do with the ways that one [[relation (mathematics)|relation]] is determined by an [[indexed family]] or a [[sequence]] of other relations, called the ''relation dataset''. The relation in the focus of consideration is called the ''faciendum''. The relation dataset typically consists of a specified relation over sets of relations, called the ''constructor'', the ''factor'', or the ''method of construction'', plus a specified set of other relations, called the ''faciens'', the ''ingredients'', or the ''makings''. | + | In logic and mathematics, '''relation construction''' and '''relational constructibility''' have to do with the ways that one [[relation (mathematics)|relation]] is determined by an indexed family or a sequence of other relations, called the ''relation dataset''. The relation in the focus of consideration is called the ''faciendum''. The relation dataset typically consists of a specified relation over sets of relations, called the ''constructor'', the ''factor'', or the ''method of construction'', plus a specified set of other relations, called the ''faciens'', the ''ingredients'', or the ''makings''. |
| | | |
| [[Relation composition]] and [[relation reduction]] are special cases of relation constructions. | | [[Relation composition]] and [[relation reduction]] are special cases of relation constructions. |
Line 9: |
Line 9: |
| ===Focal nodes=== | | ===Focal nodes=== |
| | | |
− | {{col-begin}}
| |
− | {{col-break}}
| |
| * [[Inquiry Live]] | | * [[Inquiry Live]] |
− | {{col-break}}
| |
| * [[Logic Live]] | | * [[Logic Live]] |
− | {{col-end}}
| |
| | | |
| ===Peer nodes=== | | ===Peer nodes=== |
| | | |
− | {{col-begin}}
| + | * [http://intersci.ss.uci.edu/wiki/index.php/Relation_construction Relation Construction @ InterSciWiki] |
− | {{col-break}}
| |
| * [http://mywikibiz.com/Relation_construction Relation Construction @ MyWikiBiz] | | * [http://mywikibiz.com/Relation_construction Relation Construction @ MyWikiBiz] |
− | * [http://mathweb.org/wiki/Relation_construction Relation Construction @ MathWeb Wiki]
| |
− | * [http://netknowledge.org/wiki/Relation_construction Relation Construction @ NetKnowledge]
| |
− | * [http://wiki.oercommons.org/mediawiki/index.php/Relation_construction Relation Construction @ OER Commons]
| |
− | {{col-break}}
| |
− | * [http://p2pfoundation.net/Relation_Construction Relation Construction @ P2P Foundation]
| |
− | * [http://semanticweb.org/wiki/Relation_construction Relation Construction @ SemanticWeb]
| |
| * [http://ref.subwiki.org/wiki/Relation_construction Relation Construction @ Subject Wikis] | | * [http://ref.subwiki.org/wiki/Relation_construction Relation Construction @ Subject Wikis] |
| + | * [http://en.wikiversity.org/wiki/Relation_construction Relation Construction @ Wikiversity] |
| * [http://beta.wikiversity.org/wiki/Relation_construction Relation Construction @ Wikiversity Beta] | | * [http://beta.wikiversity.org/wiki/Relation_construction Relation Construction @ Wikiversity Beta] |
− | {{col-end}}
| |
| | | |
| ===Logical operators=== | | ===Logical operators=== |
Line 108: |
Line 97: |
| ===Related articles=== | | ===Related articles=== |
| | | |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Semiotic_Information Jon Awbrey, “Semiotic Information”] | + | {{col-begin}} |
− | | + | {{col-break}} |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, “Introduction To Inquiry Driven Systems”] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Cactus_Language Cactus Language] |
− | | + | * [http://intersci.ss.uci.edu/wiki/index.php/Futures_Of_Logical_Graphs Futures Of Logical Graphs] |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Essays/Prospects_For_Inquiry_Driven_Systems Jon Awbrey, “Prospects For Inquiry Driven Systems”] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems] |
− | | + | {{col-break}} |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Jon Awbrey, “Inquiry Driven Systems : Inquiry Into Inquiry”] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Introduction Differential Logic : Introduction] |
− | | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Propositional_Calculus Differential Propositional Calculus] |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0 Differential Logic and Dynamic Systems] |
− | | + | {{col-break}} |
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems] |
− | | + | * [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems] |
− | * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”] | + | * [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry] |
− | | + | {{col-end}} |
− | * [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== |
Line 128: |
Line 116: |
| 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. | | 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. |
| | | |
− | {{col-begin}}
| + | * [http://intersci.ss.uci.edu/wiki/index.php/Relation_construction Relation Construction], [http://intersci.ss.uci.edu/ InterSciWiki] |
− | {{col-break}}
| |
| * [http://mywikibiz.com/Relation_construction Relation Construction], [http://mywikibiz.com/ MyWikiBiz] | | * [http://mywikibiz.com/Relation_construction Relation Construction], [http://mywikibiz.com/ MyWikiBiz] |
− | * [http://mathweb.org/wiki/Relation_construction Relation Construction], [http://mathweb.org/wiki/ MathWeb Wiki] | + | * [http://planetmath.org/RelationConstruction Relation Construction], [http://planetmath.org/ PlanetMath] |
− | * [http://netknowledge.org/wiki/Relation_construction Relation Construction], [http://netknowledge.org/ NetKnowledge]
| |
− | * [http://wiki.oercommons.org/mediawiki/index.php/Relation_construction Relation Construction], [http://wiki.oercommons.org/ OER Commons]
| |
− | * [http://p2pfoundation.net/Relation_Construction Relation Construction], [http://p2pfoundation.net/ P2P Foundation]
| |
− | {{col-break}}
| |
| * [http://semanticweb.org/wiki/Relation_construction Relation Construction], [http://semanticweb.org/ Semantic Web] | | * [http://semanticweb.org/wiki/Relation_construction Relation Construction], [http://semanticweb.org/ Semantic Web] |
− | * [http://planetmath.org/encyclopedia/RelationConstruction.html Relation Construction], [http://planetmath.org/ PlanetMath] | + | * [http://wikinfo.org/w/index.php/Relation_construction Relation Construction], [http://wikinfo.org/w/ Wikinfo] |
− | * [http://getwiki.net/-Relational_Construction Relation Construction], [http://getwiki.net/ GetWiki] | + | * [http://en.wikiversity.org/wiki/Relation_construction Relation Construction], [http://en.wikiversity.org/ Wikiversity] |
− | * [http://wikinfo.org/index.php/Relation_construction Relation Construction], [http://wikinfo.org/ Wikinfo] | + | * [http://beta.wikiversity.org/wiki/Relation_construction Relation Construction], [http://beta.wikiversity.org/ Wikiversity Beta] |
| * [http://en.wikipedia.org/w/index.php?title=Relation_construction&oldid=39070184 Relation Construction], [http://en.wikipedia.org/ Wikipedia] | | * [http://en.wikipedia.org/w/index.php?title=Relation_construction&oldid=39070184 Relation Construction], [http://en.wikipedia.org/ Wikipedia] |
− | {{col-end}}
| |
− |
| |
− | <br><sharethis />
| |
| | | |
− | [[Category:Inquiry]]
| |
− | [[Category:Open Educational Resource]]
| |
− | [[Category:Peer Educational Resource]]
| |
| [[Category:Charles Sanders Peirce]] | | [[Category:Charles Sanders Peirce]] |
| [[Category:Combinatorics]] | | [[Category:Combinatorics]] |
Line 154: |
Line 131: |
| [[Category:Discrete Mathematics]] | | [[Category:Discrete Mathematics]] |
| [[Category:Formal Sciences]] | | [[Category:Formal Sciences]] |
| + | [[Category:Inquiry]] |
| [[Category:Logic]] | | [[Category:Logic]] |
| [[Category:Mathematics]] | | [[Category:Mathematics]] |
| [[Category:Relation Theory]] | | [[Category:Relation Theory]] |
| [[Category:Set Theory]] | | [[Category:Set Theory]] |