Work S

Cactus Graphs

Cactus Connectives

Lobe Connective

Node Connective

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

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