This site is supported by donations to The OEIS Foundation.
Differential Logic • Overview
From OeisWiki
(Redirected from Differential Logic • Introduction)
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 Differential Features
Transforms Expanded over Ordinary Features
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