Tag Archives: Cactus Graphs

Cactus Language • Preliminaries 12

Posted on May 17, 2025 by Jon Awbrey

We are engaged in teasing out the consequences of the following description of our subject. The painted cactus language with paints in the set is the formal language defined as follows. Only one thing remains to cast that description of … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Preliminaries 11

Posted on May 16, 2025 by Jon Awbrey

Given the idea of a Parce on as a member of the cactus language a number of frequently occurring sublanguages and commonly invoked operations on their expressions can now be given succinct definition. A bare Parce, a bit loosely referred … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Preliminaries 10

Posted on May 15, 2025 by Jon Awbrey

Last time we arrived at the following definition of our subject matter. The painted cactus language with paints in the set is the formal language defined as follows. A sentence of is known as a painted and rooted cactus expression … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Discussion 2

Posted on May 13, 2025 by Jon Awbrey

Re: Cactus Language • Preliminaries 9 Re: Cactus Language • Discussion 1 Re: Alex Shkotin AS: Interesting language.  It’s unusual to treat “ ” as a sentence.  Usually it is just a separator for other lexemes. Are the following correct? One … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 2 Comments

Cactus Language • Discussion 1

Posted on May 7, 2025 by Jon Awbrey

Re: Cactus Language • Preliminaries 9 Re: Cybernetics • Joe Bury JB: What does subcatenation and surcatenation mean?  Their definitions are not found in a dictionary.  I get the formulas you wrote but I don’t understand the meaning. Thanks for … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 3 Comments

Survey of Theme One Program • 7

Posted on May 6, 2025 by Jon Awbrey

This is a Survey of resources 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 had earlier developed … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Automated Research Tools, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 80 Comments

Survey of Differential Logic • 8

Posted on May 3, 2025 by Jon Awbrey

This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment. Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Survey of Animated Logical Graphs • 8

Posted on May 2, 2025 by Jon Awbrey

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications. Beginnings Logical Graphs … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Differential Logic, Equational Inference, Graph Theory, Group Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 77 Comments

Cactus Language • Preliminaries 9

Posted on April 25, 2025 by Jon Awbrey

We now have the materials in place to formulate a definition of our subject. The painted cactus language with paints in the set is the formal language defined as follows. In the idiom of formal language theory, a string is … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 9 Comments

Cactus Language • Preliminaries 8

Posted on April 22, 2025 by Jon Awbrey

Defining the basic operations of concatenation and surcatenation on arbitrary strings gives them operational meaning for the all‑inclusive language   With that in hand it is time to adjoin the notion of a more discriminating grammaticality, in other words, a … Continue reading →

Posted in Automata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Equational Inference, Formal Grammars, Formal Languages, Graph Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , | 3 Comments