ENGLISH

Autologic

By Neil Tennant

Book information

Publisher
Edinburgh University Press
Year
1992
ISBN
0-7486-0358-1, 9780748603589
Language
english
Format
DJVU
Filesize
2 MB (1927673 bytes)
Series
Edinburgh information technology series, 9
Pages
xiii, 239 p. : ill. ; 23 cm\257
Library
kolxo3
DPI
600
Time added
2014-11-04 21:00:00

Description

This book has evolved from the author's theory that if it is possible to teach students reasonable methods for finding proofs (in a system of natural deduction), then it should also be possible to express those methods in a programming language, and program on a computer the effective skills taught in logic courses. He rejected classical logic and, in his book ''Anti-realism and Logic'', gave arguments in favour of a system he called ''intuitionistic relevant logic''. He found that working within that system he could find proofs more easily because of the constraint of relevance between their premisses and their conclusions. A report on natural deduction based sub-classical computational logic, this book should be of interest to computational logicians, proof theorists, cognitive scientists, workers in artificial intelligence and the Prolog and logic programming community

Similar books