Changes

{{DISPLAYTITLE:Differential Logic and Dynamic Systems 2.0}}

{{DISPLAYTITLE:Differential Logic and Dynamic Systems 2.0}}

{| width="100%"

 

{| style="height:36px; width:100%"

| align="left"  | ''Stand and unfold yourself.''

| align="left"  | ''Stand and unfold yourself.''

| align="right" | Hamlet: Francsico—1.1.2

| align="right" | Hamlet: Francsico—1.1.2

|}

|}

This article develops a differential extension of [[propositional calculus]] and applies it to a context of problems arising in dynamic systems.  The work pursued here is coordinated with a parallel application that focuses on neural network systems, but the dependencies are arranged to make the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project.

This article develops a differential extension of [[propositional calculus]] and applies it to a context of problems arising in dynamic systems.  The work pursued here is coordinated with a parallel application that focuses on neural network systems, but the dependencies are arranged to make the present article the main and the more self-contained work, to serve as a conceptual frame and a technical background for the network project.