Handbook of Philosophical Logic: Volume 14
Dov M. Gabbay · Franz Guenthner
thg 8 2007 · Handbook of Philosophical Logic Sách 14 · Springer Science & Business Media
Sách điện tử
345
Trang
reportĐiểm xếp hạng và bài đánh giá chưa được xác minh Tìm hiểu thêm
Giới thiệu về sách điện tử này
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- 1 moved. Non-monotonic logic is now a very major area of philosop- cal logic, alongside default logics, labelled deductive systems, ?bring l- ics, multi-dimensional, multimodal and substructural logics. Intensive - examinations of fragments of classical logic have produced fresh insights, including at time decision procedures and equivalence with non-classical systems. Perhaps the most impressive achievement of philosophical logic as arising inthepastdecadehasbeenthee?ectivenegotiationofresearchpartnerships with fallacy theory, informal logic and argumentation theory, attested to by the Amsterdam Conference in Logic and Argumentation in 1995, and the two Bonn Conferences in Practical Reasoning in 1996 and 1997. These subjects are becoming more and more useful in agent theory and intelligent and reactive databases. Finally, ?fteen years after the start of the Handbook project, I would like to take this opportunity to put forward my current views about logic in computer science, computational linguistics and arti?cial intelligence. In the early 1980s the perception of the role of logic in computer science was that of a speci?cation and reasoning tool and that of a basis for possibly neat computer languages. The computer scientist was manipulating data structures and the use of logic was one of his options.
Xếp hạng sách điện tử này
Cho chúng tôi biết suy nghĩ của bạn.
Đọc thông tin
Điện thoại thông minh và máy tính bảng
Cài đặt ứng dụng Google Play Sách cho Android và iPad/iPhone. Ứng dụng sẽ tự động đồng bộ hóa với tài khoản của bạn và cho phép bạn đọc trực tuyến hoặc ngoại tuyến dù cho bạn ở đâu.
Máy tính xách tay và máy tính
Bạn có thể nghe các sách nói đã mua trên Google Play thông qua trình duyệt web trên máy tính.
Thiết bị đọc sách điện tử và các thiết bị khác
Để đọc trên thiết bị e-ink như máy đọc sách điện tử Kobo, bạn sẽ cần tải tệp xuống và chuyển tệp đó sang thiết bị của mình. Hãy làm theo hướng dẫn chi tiết trong Trung tâm trợ giúp để chuyển tệp sang máy đọc sách điện tử được hỗ trợ.
