| Line 1: |
Line 1: |
| | {{DISPLAYTITLE:Change In Logic}} | | {{DISPLAYTITLE:Change In Logic}} |
| | + | '''Author: [[User:Jon Awbrey|Jon Awbrey]]''' |
| | + | |
| | ==Note 1== | | ==Note 1== |
| | | | |
| Line 1,506: |
Line 1,508: |
| | ===NKS Forum (Nov 2004)=== | | ===NKS Forum (Nov 2004)=== |
| | | | |
| − | * http://forum.wolframscience.com/archive/topic/632-1.html | + | * http://forum.wolframscience.com/archive/topic/632.html |
| | * http://forum.wolframscience.com/printthread.php?threadid=632 | | * http://forum.wolframscience.com/printthread.php?threadid=632 |
| | * http://forum.wolframscience.com/showthread.php?threadid=632 | | * http://forum.wolframscience.com/showthread.php?threadid=632 |
| Line 1,519: |
Line 1,521: |
| | # http://forum.wolframscience.com/showthread.php?postid=2150#post2150 | | # http://forum.wolframscience.com/showthread.php?postid=2150#post2150 |
| | | | |
| − | <br><sharethis />
| + | [[Category:Artificial Intelligence]] |
| | + | [[Category:Boolean Algebra]] |
| | + | [[Category:Boolean Functions]] |
| | + | [[Category:Charles Sanders Peirce]] |
| | + | [[Category:Combinatorics]] |
| | + | [[Category:Computational Complexity]] |
| | + | [[Category:Computer Science]] |
| | + | [[Category:Cybernetics]] |
| | + | [[Category:Differential Logic]] |
| | + | [[Category:Equational Reasoning]] |
| | + | [[Category:Formal Languages]] |
| | + | [[Category:Formal Systems]] |
| | + | [[Category:Graph Theory]] |
| | + | [[Category:Inquiry]] |
| | + | [[Category:Inquiry Driven Systems]] |
| | + | [[Category:Knowledge Representation]] |
| | + | [[Category:Logic]] |
| | + | [[Category:Logical Graphs]] |
| | + | [[Category:Mathematics]] |
| | + | [[Category:Philosophy]] |
| | + | [[Category:Propositional Calculus]] |
| | + | [[Category:Semiotics]] |
| | + | [[Category:Visualization]] |