Theme One Program • Appendices

Author: Jon Awbrey

---

• Overview • Blog • Exposition • Logical Cacti • Appendices • Document History •

---

Appendices

Table 1. Syntax and Semantics of a Calculus for Propositional Logic

Table 1 collects a sample of basic propositional forms as expressed in terms of cactus language connectives.

${\text{Table 1. Syntax and Semantics of a Calculus for Propositional Logic}}$

Table A. Existential Interpretation

Table A illustrates the existential interpretation of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms.

${\text{Table A. Existential Interpretation}}$

Table B. Entitative Interpretation

Table B illustrates the entitative interpretation of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms.

${\text{Table B. Entitative Interpretation}}$

Table C. Logical Interpretations of Cactus Structures

The two ways of mapping cactus structures to logical meanings are summarized in Table C, which compares the entitative and existential interpretations of the basic cactus structures, in effect, the graphical constants and connectives.

${\text{Table C. Logical Interpretations of Cactus Structures}}$

---

• Overview • Blog • Exposition • Logical Cacti • Appendices • Document History •

---