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]]