what is the ideal of logic?
Answers
Answered by
2
Answer:
Definition 3.17 A ¬-paraconsistent logic L is called ideal, if it is normal (i.e., ¬-contained in classical logic and has a proper implication), maximal relative to classical logic, and maximally paraconsistent.
Similar questions