Theory of Effective Propositional Paraconsistent Logics Contributor(s): Avron, Arnon (Author), Arieli, Ofer (Author), Zamansky, Anna (Author) |
|
ISBN: 1848902700 ISBN-13: 9781848902701 Publisher: College Publications OUR PRICE: $26.60 Product Type: Paperback Published: May 2018 |
Additional Information |
BISAC Categories: - Mathematics | Logic - Philosophy | Logic |
Physical Information: 1.17" H x 6.14" W x 9.21" (1.75 lbs) 576 pages |
Descriptions, Reviews, Etc. |
Publisher Description: Perhaps the most counterintuitive property of classical logic (as well as of its most famous rival, intuitionistic logic) is the fact that it allows the inference of any proposition from a single pair of contradicting statements. A lot of work and efforts have been devoted over the years to develop alternatives to classical logic that do not have this drawback. Those alternatives are nowadays called paraconsistent systems', and the corresponding research area --- paraconsistent reasoning. |