Sole sufficient operator - Revision history

Jon Awbrey: update

2015-11-07T18:07:50Z

update

Jon Awbrey: Category:Charles Sanders Peirce

2011-10-29T19:02:08Z

Category:Charles Sanders Peirce

Jon Awbrey: /* Peer nodes */ + 2

2010-06-23T02:04:45Z

Peer nodes: + 2

Jon Awbrey: /* Information, Inquiry */

2010-05-23T11:29:35Z

Information, Inquiry

Jon Awbrey: /* Syllabus */ update

2010-05-22T14:56:16Z

Syllabus: update

Jon Awbrey: /* Syllabus */ update

2010-05-11T12:48:37Z

Syllabus: update

Jon Awbrey: /* Document history */ update

2010-05-11T12:40:06Z

Document history: update

Jon Awbrey: ☞ This page belongs to resource collections on Logic and Inquiry.

2010-05-10T18:53:59Z

<font size="3">☞</font> This page belongs to resource collections on Logic and Inquiry.

Jon Awbrey: del empty lines

2010-05-02T01:11:58Z

del empty lines

Jon Awbrey: /* Peer nodes */ fix links

2010-05-02T01:01:50Z

Peer nodes: fix links

@@ Line 1: / Line 1: @@
 <font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].
-A '''sole sufficient operator''' or a '''sole sufficient connective''' is an operator that is sufficient by itself to generate all of the operators in a specified class of operators.  In [[logic]], it is a logical operator that suffices to generate all of the [[boolean-valued function]]s, <math>f : X \to \mathbb{B} </math>, where <math>X\!</math> is an arbitrary set and where <math>\mathbb{B}</math> is a generic 2-element set, typically <math>\mathbb{B} = \{ 0, 1 \} = \{ false, true \}</math>, in particular, to generate all of the [[finitary boolean function]]s, <math> f : \mathbb{B}^k \to \mathbb{B} </math>.
+A '''sole sufficient operator''' is an operator that is sufficient by itself to generate every operator in a specified class of operators.&nbsp; In the context of [[logic]], it is a logical operator that suffices to generate every [[boolean-valued function]], <math>f : X \to \mathbb{B},\!</math> where <math>X\!</math> is an arbitrary set and where <math>\mathbb{B}\!</math> is a generic two-element set, typically <math>\mathbb{B} = \{ 0, 1 \} = \{ \mathrm{false}, \mathrm{true} \},\!</math> in particular, to generate every finitary [[boolean function]], <math>f : \mathbb{B}^k \to \mathbb{B}.\!</math>
 ==Syllabus==
@@ Line 7: / Line 7: @@
 ===Focal nodes===
 * [[Inquiry Live]]
 * [[Logic Live]]
 ===Peer nodes===
-{{col-begin}}
+* [http://intersci.ss.uci.edu/wiki/index.php/Sole_sufficient_operator Sole Sufficient Operator @ InterSciWiki]
 * [http://mywikibiz.com/Sole_sufficient_operator Sole Sufficient Operator @ MyWikiBiz]
 * [http://ref.subwiki.org/wiki/Sole_sufficient_operator Sole Sufficient Operator @ Subject Wikis]
 * [http://beta.wikiversity.org/wiki/Sole_sufficient_operator Sole Sufficient Operator @ Wikiversity Beta]
 ===Logical operators===
@@ Line 106: / Line 95: @@
 ===Related articles===
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Semiotic_Information Jon Awbrey, &ldquo;Semiotic Information&rdquo;]
+{{col-begin}}
+{{col-break}}
-* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]
+* [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, &ldquo;Prospects For Inquiry Driven Systems&rdquo;]
+* [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, &ldquo;Inquiry Driven Systems : Inquiry Into Inquiry&rdquo;]
+* [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, &ldquo;Propositional Equation Reasoning Systems&rdquo;]
+* [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, &ldquo;Differential Logic : Introduction&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Prospects_for_Inquiry_Driven_Systems Prospects for Inquiry Driven Systems]
+* [http://intersci.ss.uci.edu/wiki/index.php/Introduction_to_Inquiry_Driven_Systems Introduction to Inquiry Driven Systems]
-* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, &ldquo;Differential Propositional Calculus&rdquo;]
+* [http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems Inquiry Driven Systems : Inquiry Into Inquiry]
+{{col-end}}
 ==Document history==
@@ Line 126: / Line 114: @@
 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/Sole_sufficient_operator Sole Sufficient Operator], [http://intersci.ss.uci.edu/ InterSciWiki]
 * [http://mywikibiz.com/Sole_sufficient_operator Sole Sufficient Operator], [http://mywikibiz.com/ MyWikiBiz]
-* [http://mathweb.org/wiki/Sole_sufficient_operator Sole Sufficient Operator], [http://mathweb.org/wiki/ MathWeb Wiki]
+* [http://http://planetmath.org/SoleSufficientOperator Sole Sufficient Operator], [http://planetmath.org/ PlanetMath]
 * [http://semanticweb.org/wiki/Sole_sufficient_operator Sole Sufficient Operator], [http://semanticweb.org/ SemanticWeb]
 * [http://beta.wikiversity.org/wiki/Sole_sufficient_operator Sole Sufficient Operator], [http://beta.wikiversity.org/ Wikiversity Beta]
 * [http://en.wikipedia.org/w/index.php?title=Sole_sufficient_operator&oldid=156136346 Sole Sufficient Operator], [http://en.wikipedia.org/ Wikipedia]
 [[Category:Inquiry]]
 [[Category:Open Educational Resource]]
 [[Category:Peer Educational Resource]]
 [[Category:Logic]]
 [[Category:Mathematics]]
 [[Category:Semiotics]]

@@ Line 148: / Line 148: @@
 [[Category:Open Educational Resource]]
 [[Category:Peer Educational Resource]]
 [[Category:Logic]]
 [[Category:Mathematics]]
 [[Category:Semiotics]]

@@ Line 21: / Line 21: @@
 * [http://mathweb.org/wiki/Sole_sufficient_operator Sole Sufficient Operator @ MathWeb Wiki]
 * [http://netknowledge.org/wiki/Sole_sufficient_operator Sole Sufficient Operator @ NetKnowledge]
 {{col-break}}
 * [http://p2pfoundation.net/Sole_Sufficient_Operator Sole Sufficient Operator @ P2P Foundation]
 * [http://semanticweb.org/wiki/Sole_sufficient_operator Sole Sufficient Operator @ SemanticWeb]
 {{col-end}}

@@ Line 99: / Line 99: @@
 {{col-break}}
 * [[Pragmatic maxim]]
-* [[Pragmatic theory of truth]]
+* [[Truth theory]]
 {{col-end}}

@@ Line 90: / Line 90: @@
 {{col-break}}
 * [[Inquiry]]
 * [[Logic of information]]
 {{col-break}}
@@ Line 97: / Line 100: @@
 * [[Pragmatic maxim]]
 * [[Pragmatic theory of truth]]
 {{col-end}}
 ===Related articles===
 * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Introduction_to_Inquiry_Driven_Systems Jon Awbrey, &ldquo;Introduction To Inquiry Driven Systems&rdquo;]

@@ Line 119: / Line 119: @@
 {{col-break}}
 * [http://mywikibiz.com/Sole_sufficient_operator Sole Sufficient Operator], [http://mywikibiz.com/ MyWikiBiz]
-* [http://beta.wikiversity.org/wiki/Sole_sufficient_operator Sole Sufficient Operator], [http://beta.wikiversity.org/ Beta Wikiversity]
+* [http://mathweb.org/wiki/Sole_sufficient_operator Sole Sufficient Operator], [http://mathweb.org/wiki/ MathWeb Wiki]
-* [http://www.mathweb.org/wiki/Sole_sufficient_operator Sole Sufficient Operator], [http://www.mathweb.org/wiki/ MathWeb Wiki]
+* [http://netknowledge.org/wiki/Sole_sufficient_operator Sole Sufficient Operator], [http://netknowledge.org/ NetKnowledge]
 * [http://p2pfoundation.net/Sole_sufficient_operator Sole Sufficient Operator], [http://p2pfoundation.net/ P2P Foundation]
 * [http://http://planetmath.org/encyclopedia/SoleSufficientOperator.html Sole Sufficient Operator], [http://planetmath.org/ PlanetMath]
 {{col-break}}
 * [http://semanticweb.org/wiki/Sole_sufficient_operator Sole Sufficient Operator], [http://semanticweb.org/ SemanticWeb]
-* [http://www.getwiki.net/-Sole_Sufficient_Operator Sole Sufficient Operator], [http://www.getwiki.net/ GetWiki]
+* [http://beta.wikiversity.org/wiki/Sole_sufficient_operator Sole Sufficient Operator], [http://beta.wikiversity.org/ Wikiversity Beta]
-* [http://www.wikinfo.org/index.php/Sole_sufficient_operator Sole Sufficient Operator], [http://wikinfo.org/ Wikinfo]
+* [http://getwiki.net/-Sole_Sufficient_Operator Sole Sufficient Operator], [http://getwiki.net/ GetWiki]
-* [http://www.textop.org/wiki/index.php?title=Sole_sufficient_operator Sole Sufficient Operator], [http://www.textop.org/wiki/ Textop Wiki]
+* [http://wikinfo.org/index.php/Sole_sufficient_operator Sole Sufficient Operator], [http://wikinfo.org/ Wikinfo]
 * [http://en.wikipedia.org/w/index.php?title=Sole_sufficient_operator&oldid=156136346 Sole Sufficient Operator], [http://en.wikipedia.org/ Wikipedia]
 {{col-end}}
@@ Line 134: / Line 135: @@
 <br><sharethis />
 [[Category:Peer Educational Resource]]
 [[Category:Logic]]
 [[Category:Mathematics]]
 [[Category:Semiotics]]

← Older revision		Revision as of 18:53, 10 May 2010
Line 1:		Line 1:
		+	<font size="3">☞</font> This page belongs to resource collections on [[Logic Live\|Logic]] and [[Inquiry Live\|Inquiry]].
		+
	A '''sole sufficient operator''' or a '''sole sufficient connective''' is an operator that is sufficient by itself to generate all of the operators in a specified class of operators. In [[logic]], it is a logical operator that suffices to generate all of the [[boolean-valued function]]s, <math>f : X \to \mathbb{B} </math>, where <math>X\!</math> is an arbitrary set and where <math>\mathbb{B}</math> is a generic 2-element set, typically <math>\mathbb{B} = \{ 0, 1 \} = \{ false, true \}</math>, in particular, to generate all of the [[finitary boolean function]]s, <math> f : \mathbb{B}^k \to \mathbb{B} </math>.		A '''sole sufficient operator''' or a '''sole sufficient connective''' is an operator that is sufficient by itself to generate all of the operators in a specified class of operators. In [[logic]], it is a logical operator that suffices to generate all of the [[boolean-valued function]]s, <math>f : X \to \mathbb{B} </math>, where <math>X\!</math> is an arbitrary set and where <math>\mathbb{B}</math> is a generic 2-element set, typically <math>\mathbb{B} = \{ 0, 1 \} = \{ false, true \}</math>, in particular, to generate all of the [[finitary boolean function]]s, <math> f : \mathbb{B}^k \to \mathbb{B} </math>.

← Older revision		Revision as of 01:11, 2 May 2010
Line 111:		Line 111:

	==Document history==		==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.		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.

@@ Line 14: / Line 14: @@
 ===Peer nodes===
-* [http://beta.wikiversity.org/wiki/Differential_logic Differential Logic @ Beta Wikiversity]
+* [http://beta.wikiversity.org/wiki/Sole_sufficient_operator Sole Sufficient Operator @ Beta Wikiversity]
-* [http://mywikibiz.com/Differential_logic Differential Logic @ MyWikiBiz]
+* [http://mywikibiz.com/Sole_sufficient_operator Sole Sufficient Operator @ MyWikiBiz]
-* [http://www.netknowledge.org/wiki/Differential_logic Differential Logic @ NetKnowledge]
+* [http://www.netknowledge.org/wiki/Sole_sufficient_operator Sole Sufficient Operator @ NetKnowledge]
-* [http://semanticweb.org/wiki/Differential_logic Differential Logic @ SemanticWeb]
+* [http://semanticweb.org/wiki/Sole_sufficient_operator Sole Sufficient Operator @ SemanticWeb]
 ===Logical operators===