Listen to a clip of a Coal Train song, “Ohio Blues” (written by Ben Hartlage and David Long, 1997) Requires RealPlayer. To obtain the software, please visit the ...

Non-classical logics challenge the traditional binary framework of classical reasoning by introducing alternative truth values and inference rules. Paraconsistency, a key branch of non-classical logic ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a ...

Stephen has degrees in science (Physics major) and arts (English Literature and the History and Philosophy of Science), as well as a Graduate Diploma in Science Communication. Stephen has degrees in ...

The goal of this topics course is to study the foundations of different types of logics used commonly in artificial intelligence. Logic forms the basis for many types of reasoning used by humans – ...

Identifying cancer cells in a medical image and altering the trajectory of airplanes at take-off and landing to reduce noise pollution are just two of the goals of new research projects based on the ...