Relevance logic and paraconsistent logic

[bvssvni]

Phylaras commented in the /r/philosophy thread https://old.reddit.com/r/philosophy/comments/j59ngj/avatar_logic_an_attempt_to_create_a_formal_logic/ about relevance logic and paraconsistent logic.

Perhaps it might be possible to have some control over relevance and paraconsistency?

[bvssvni]

For example, by terminating expansion as soon any ambiguity is detected, one can provide some relevance.

[bvssvni]

One thing I have been thinking about, is whether one should be able to use ambiguity detection in rules.

[bvssvni]

It might be useful to detect which rules, and possibly facts, which generated ambiguity. Considering that the last rule used is detected for diagonalization, it might be easy to check whether the fact generated has an ambiguity.