| Line 427: |
Line 427: |
| | | | |
| | ==Syllabus== | | ==Syllabus== |
| | + | |
| | + | ===Focal nodes=== |
| | + | |
| | + | {{col-begin}} |
| | + | {{col-break}} |
| | + | * [[Inquiry Live]] |
| | + | {{col-break}} |
| | + | * [[Logic Live]] |
| | + | {{col-end}} |
| | + | |
| | + | ===Peer nodes=== |
| | + | |
| | + | {{col-begin}} |
| | + | {{col-break}} |
| | + | * [http://beta.wikiversity.org/wiki/Sign_relation Sign Relation @ Beta Wikiversity] |
| | + | {{col-break}} |
| | + | * [http://mywikibiz.com/Sign_relation Sign Relation @ MyWikiBiz] |
| | + | {{col-break}} |
| | + | * [http://www.netknowledge.org/wiki/Sign_relation Sign Relation @ NetKnowledge] |
| | + | {{col-end}} |
| | | | |
| | ===Logical operators=== | | ===Logical operators=== |
| Line 451: |
Line 471: |
| | * [[Boolean function]] | | * [[Boolean function]] |
| | * [[Boolean-valued function]] | | * [[Boolean-valued function]] |
| | + | * [[Differential logic]] |
| | {{col-break}} | | {{col-break}} |
| | * [[Logical graph]] | | * [[Logical graph]] |
| − | * [[Logical matrix]]
| |
| | * [[Minimal negation operator]] | | * [[Minimal negation operator]] |
| | + | * [[Multigrade operator]] |
| | + | * [[Parametric operator]] |
| | * [[Peirce's law]] | | * [[Peirce's law]] |
| | {{col-break}} | | {{col-break}} |
| | * [[Propositional calculus]] | | * [[Propositional calculus]] |
| | + | * [[Sole sufficient operator]] |
| | * [[Truth table]] | | * [[Truth table]] |
| | * [[Universe of discourse]] | | * [[Universe of discourse]] |
| Line 467: |
Line 490: |
| | {{col-begin}} | | {{col-begin}} |
| | {{col-break}} | | {{col-break}} |
| | + | * [[Continuous predicate]] |
| | + | * [[Hypostatic abstraction]] |
| | * [[Logic of relatives]] | | * [[Logic of relatives]] |
| | * [[Logical matrix]] | | * [[Logical matrix]] |
| | + | {{col-break}} |
| | * [[Relation (mathematics)|Relation]] | | * [[Relation (mathematics)|Relation]] |
| | * [[Relation composition]] | | * [[Relation composition]] |
| − | {{col-break}}
| |
| | * [[Relation construction]] | | * [[Relation construction]] |
| | * [[Relation reduction]] | | * [[Relation reduction]] |
| | + | {{col-break}} |
| | * [[Relation theory]] | | * [[Relation theory]] |
| − | * [[Relation typology]]
| |
| − | {{col-break}}
| |
| | * [[Relative term]] | | * [[Relative term]] |
| | * [[Sign relation]] | | * [[Sign relation]] |
| − | * [[Sign relational complex]]
| |
| | * [[Triadic relation]] | | * [[Triadic relation]] |
| | {{col-end}} | | {{col-end}} |
| Line 496: |
Line 519: |
| | * [[Semiotic information]] | | * [[Semiotic information]] |
| | {{col-end}} | | {{col-end}} |
| | + | |
| | + | ===Related articles=== |
| | + | |
| | + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”] |
| | + | |
| | + | * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”] |
| | + | |
| | + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] |
| | | | |
| | ==Document history== | | ==Document history== |