Skip to content
#

dynamic-logics

Here are 6 public repositories matching this topic...

I propose a new form of logic; Logic Geometry. Dynamic connections, or dynamic geometric logic, or logic through the changing shape of geometry, like a truth table that the truths change and is essentially functional programming, but is logic without values or measurements, where the changing shape is the only information.

  • Updated Jul 26, 2024

Improve this page

Add a description, image, and links to the dynamic-logics topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dynamic-logics topic, visit your repo's landing page and select "manage topics."

Learn more