Difference between revisions of "Logic Live"
MyWikiBiz, Author Your Legacy — Thursday December 26, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (→Peer nodes: + semantic web wiki) |
Jon Awbrey (talk | contribs) (→Related articles: + 1) |
||
Line 107: | Line 107: | ||
* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”] | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”] | ||
+ | |||
+ | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”] | ||
* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”] | * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”] | ||
− | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/ | + | * [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, “Differential Logic and Dynamic Systems”] |
[[Category:Focal Node]] | [[Category:Focal Node]] |
Revision as of 18:27, 1 May 2010
☞ This page serves as a focal node for a collection of related articles.
Participants
- Interested parties may add their names on this page.
Syllabus
Focal nodes
Template:Col-breakTemplate:Col-breakTemplate:Col-endPeer nodes
- Logic Live @ Beta Wikiversity
- Logic Live @ MyWikiBiz
- Logic Live @ NetKnowledge
- Logic Live @ SemanticWeb
Logical operators
Related topics
- Propositional calculus
- Sole sufficient operator
- Truth table
- Universe of discourse
- Zeroth order logic