# Category Archives: Equational Inference

## Theme One Program • Exposition 5

Lexical, Literal, Logical Theme One puts cactus graphs to work in three distinct but related ways, called lexical, literal, and logical applications.  The three modes of operation employ three distinct but overlapping subsets of the broader species of cacti.  Accordingly we … Continue reading

## Theme One Program • Exposition 4

Parsing Logical Graphs It is possible to write a program that parses cactus expressions into reasonable facsimiles of cactus graphs as pointer structures in computer memory, making edges correspond to addresses and nodes correspond to records.  I did just that … Continue reading

## Theme One Program • Exposition 3

Coding Logical Graphs My earliest experiments coding logical graphs as dynamic “pointer” data structures taught me that conceptual and computational efficiencies of a critical sort could be achieved by generalizing their abstract graphs from trees to the variety graph theorists … Continue reading

## Theme One Program • Exposition 2

The previous post described the elementary data structure used to represent nodes of graphs in the Theme One program.  This post describes the specific family of graphs employed by the program. Painted And Rooted Cacti Figure 1 shows a typical example … Continue reading

## Theme One Program • Exposition 1

Theme One is a program for constructing and transforming a particular species of graph‑theoretic data structures, forms designed to support a variety of fundamental learning and reasoning tasks. The program evolved over the course of an exploration into the integration of … Continue reading

## Survey of Theme One Program • 4

This is a Survey of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s.  The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning.  I … Continue reading

## Differential Logic • Discussion 16

Re: Survey of Differential Logic • 3 Re: Laws of Form • Lyle Anderson LA: Thanks for posting this.  Particularly the Differential Logic and Dynamic Systems. It appears this is part of the trail to connecting Forms with Tensors.  Heim … Continue reading

## Differential Logic and Dynamic Systems • Discussion 7

Re: Differential Logic and Dynamic Systems • Intentional Propositions Re: FB | Differential Logic • Marius V. Constantin Marius Constantin asks about the logical value of an intention which is not carried out. MVC: I have in my intention to … Continue reading

## Logical Graphs, Iconicity, Interpretation • Discussion 2

Re: Logical Graphs, Iconicity, Interpretation • 2 Re: Laws of Form • John Mingers JM: The quote you have given does not match the standard Peircean trichotomy of icon, index, symbol.  See this quote from [CP 4.447 …] Dear John, I … Continue reading

## Logical Graphs, Iconicity, Interpretation • Discussion 1

Re: Logical Graphs, Iconicity, Interpretation • 1 Re: Laws of Form • John Mingers JM: I’m impressed that you have read Ricoeur — my impression is that Americans don’t have much time for Continental philosophy (a huge generalisation of course). … Continue reading