Re: Dick Lipton & Ken Regan • (1) • (2)
Here’s a few pages on differential logic, whose ideas I’ll be trying out in the present setting:
- Differential Logic : Introduction
- Differential Propositional Calculus
- Differential Logic and Dynamic Systems
I next need to look at the following “key lemma” from (2) and see if I can wrap my head, or at least my own formalism, around what it says.
Lemma. Let be a Boolean function and let
be fixed. Then the Boolean inputs can be partitioned into six sets:
These sets have the following properties:
- The variable
is equal to
on
- The variable
is equal to
on
- The union
is equal to
- The function is always
on
- The function is always
on
- Finally
and
and
This may take a while …
Pingback: Survey of Differential Logic • 1 | Inquiry Into Inquiry
Pingback: Survey of Differential Logic • 2 | Inquiry Into Inquiry
Pingback: Animated Logical Graphs • 24 | Inquiry Into Inquiry
Pingback: Survey of Differential Logic • 3 | Inquiry Into Inquiry
Pingback: Survey of Differential Logic • 4 | Inquiry Into Inquiry