Handbook of Philosophical Logic

• Corporate Author: SpringerLink (Online service)
• Other Authors: Gabbay, D.M (Editor), Guenthner, F. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2007.
• Edition: 2nd Edition.
• Series: Handbook of Philosophical Logic ; 14
• Subjects: Mathematics.; Logic.; Language and languages > Philosophy.; Philosophy and science.; Computer logic.; Mathematical logic.; Mathematics, general.; Philosophy of Language.; Philosophy of Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.

theywereextensivelydiscussedbyallauthorsina3-dayHandbookmeeting. These are: • a chapter on non-monotonic logic • a chapter on combinatory logic and ?-calculus We felt at the time (1979) that non-monotonic logic was not ready for a chapter yet and that combinatory logic and ?-calculus was too far re-...