Meta Cycles in Progressive Strings

[Eodnhoj7]

-(-A)--> A ---> (B --> -A) --> (C --> -B) --> ...


(B --> -A) --> (-A --> -A) --> (A --> B --> A --> B...)
(C --> -B) --> (-B --> -B) --> (B --> C --> B --> C...)



Agree/Disagree Why?

[Eodnhoj7]

-A

(-A --> -A) --> (A & -A)

A results from a double negation, -A occurs through self referencing. Both occur simultaneously.

[Arising_uk]

Is this supposed to be propositional logic? If not what are the symbols supposed to mean?

[Eodnhoj7]

Is this supposed to be propositional logic? If not what are the symbols supposed to mean?

Technically not but each symbol can represent an assertion as each assertion is a context.

( ) = context
--> progress to another context (ie therefore, implies, tends towards, etc.)