الصفحة 1
الصفحة 1
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Mathematical Problems from Applied Logic II presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
Handbook of philosophical logic ; Vol.13 ; 2nd ed.
in this book achapter on non-monotoniclogic a chapter on combinatory logic and calculus We feltat the time(1979)that non-monotonic logic was not ready fora chapter yet and that combinatory logic and calculus was toofar re-moved.1Non-monotonic logic is now a very major area of philosophi-cal logic, alongside default logics, labelled deductive systems,fibring log-ics, multi-dimensional,multi modal and substructur allogics. Intensive re-examinations offragments of classical logic have produced fresh insights,includingat time decision procedures and equivalence with non-classical systems
Handbook of philosophical logic ; Vol. 14
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.
Handbook of philosophical logic : Vol.12
The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first edition because of the way the subject has evolved over the last 15 years or so. However the volumes will follow some natural groupings of chapters. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
