Tag: Mathematics; Classical or Formal Logic; Non-Classical Logics; Artificial Intelligence.

Controversies About the Introduction of Non-Classical Logics

Logic is a set of well-formed formulae, along with an inference relation. But the Classical Logic is bivalent; for this reason, very limited to solve problems with uncertainty on the data. It is well-known that Artificial Intelligence requires Logic. Because its Classical version shows too many insufficiencies, it is very necessary to introduce