MathDB1 problem
- 0 votes0 replies0 views
A rewriting rule for the positive modal axiom T
Conjecture on the axiom T. The rewriting rule for this axiom should be defined by duplicating the tree and attaching the copy as a fresh child.
A rewriting rule for the positive modal axiom T
Conjecture on the axiom T. The rewriting rule for this axiom should be defined by duplicating the tree and attaching the copy as a fresh child.