This site is supported by donations to The OEIS Foundation.
Differential Logic • Overview
From OeisWiki
Author: Jon Awbrey
• Overview • Part 1 • Part 2 • Part 3 • Document History •
Introduction
Cactus Language for Propositional Logic
Differential Expansions of Propositions
Bird's Eye View
Worm's Eye View
Panoptic View • Difference Maps
Panoptic View • Enlargement Maps
Propositional Forms on Two Variables
Transforms Expanded over Ordinary and Differential Variables
Enlargement Map Expanded over Ordinary Variables
Enlargement Map Expanded over Differential Variables
Difference Map Expanded over Ordinary Variables
Difference Map Expanded over Differential Variables
Operational Representation
Development • Field Picture
Proposition and Tacit Extension
Enlargement and Difference Maps
Tangent and Remainder Maps
Least Action Operators
Goal-Oriented Systems
Further Reading
Document History
Differential Logic • Ontology List 2002
Dynamics And Logic • Inquiry List 2004
Dynamics And Logic • NKS Forum 2004
• Overview • Part 1 • Part 2 • Part 3 • Document History •
Categories:
- Artificial intelligence
- Boolean algebra
- Boolean functions
- Combinatorics
- Computational complexity
- Cybernetics
- Differential logic
- Equational inference
- Formal languages
- Formal systems
- Graph theory
- Inquiry
- Inquiry driven systems
- Knowledge representation
- Logic
- Logical graphs
- Peirce, Charles Sanders
- Propositional calculus
- Relation theory
- Semiotics
- Sign relations
- Systems theory
- Visualization