Cf: Differential Logic • 2 https://inquiryintoinquiry.com/2020/03/23/differential-logic-2/
Cactus Language for Propositional Logic ======================================= https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1#Cactus_Language_for_Propositional_Logic The development of differential logic is facilitated by having a moderately efficient calculus in place at the level of boolean-valued functions and elementary logical propositions. One very efficient calculus on both conceptual and computational grounds is based on just two types of logical connectives, both of variable k-ary scope. The syntactic formulas of this calculus map into a family of graph-theoretic structures called “painted and rooted cacti” which lend visual representation to the functional structures of propositions and smooth the path to efficient computation. The first kind of connective takes the form of a parenthesized sequence of propositional expressions, written (e₁, e₂, …, eₖ) and meaning exactly one of the propositions e₁, e₂, …, eₖ is false, in short, their “minimal negation” is true. An expression of this form maps into a cactus structure called a “lobe”, in this case, “painted” with the colors e₁, e₂, …, eₖ as shown below. Figure 1. Lobe Connective https://inquiryintoinquiry.files.wordpress.com/2020/03/cactus-ej-lobe-connective.jpg The second kind of connective is a concatenated sequence of propositional expressions, written e₁ e₂ … eₖ and meaning all of the propositions e₁, e₂, …, eₖ are true, in short, their logical conjunction is true. An expression of this form maps into a cactus structure called a “node”, in this case, “painted” with the colors e_1, e_2, ..., e_k as shown below. Figure 2. Node Connective https://inquiryintoinquiry.files.wordpress.com/2020/03/cactus-ej-node-connective.jpg All other propositional connectives can be obtained through combinations of these two forms. As it happens, the parenthesized form is sufficient to define the concatenated form, making the latter formally dispensable, but it's convenient to maintain it as a concise way of expressing more complicated combinations of parenthesized forms. While working with expressions solely in propositional calculus, it's easiest to use plain parentheses for logical connectives. In contexts where ordinary parentheses are needed for other purposes an alternate typeface (...) may be used for the logical operators. References [1] https://oeis.org/wiki/Boolean-valued_function [2] https://oeis.org/wiki/Minimal_negation_operator [3] https://oeis.org/wiki/Logical_conjunction
_ _ _ _ _ _ _ _ _ _ ► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to [email protected] . ► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to [email protected] with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the body. More at https://list.iupui.edu/sympa/help/user-signoff.html . ► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and co-managed by him and Ben Udell.
