The Question:
Boolean algebra is to classical logic like what is to relevant logic?
Context:
I guess this is a terminology question, so there's not much I can add, except that I've been interested in paraconsistent logic for a long time.
Is the answer de Morgan algebra or is that something else?
Meta Question:
Is the question well-formed?
Perhaps the question ought to be something like,
Boolean algebra is to classical logic like what is to paraconsistent logic?
I don't know. But:
- If the answer to the Meta Question (MQ) is yes, then please answer the main question.
- If the answer to the MQ is no, then please feel free to tell me why and answer what I hope will be a clear intended question.
- If the answer to the MQ is nonclassical, please explain.