Nantilus
Handbook of Philosophical Logic
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 m...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Handbook of Philosophical Logic / edited by D.M. Gabbay, F. Guenthner. |
| Publié : |
Dordrecht :
Springer Netherlands
, 2007 Cham : Springer Nature |
| Collection : | Handbook of Philosophical Logic ; 14 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Sujets : | |
| Documents associés : | Autre format:
Handbook of Philosophical Logic Autre format: Handbook of Philosophical Logic Autre format: Handbook of philosophical logic |
| LEADER | 04688clm a2200709 4500 | ||
|---|---|---|---|
| 001 | PPN123723728 | ||
| 003 | http://www.sudoc.fr/123723728 | ||
| 005 | 20241001154700.0 | ||
| 010 | |a 978-1-402-06324-4 | ||
| 010 | |a 978-1-4020-6324-4 | ||
| 017 | 7 | 0 | |a 10.1007/978-1-4020-6324-4 |2 DOI |
| 035 | |a (OCoLC)1334737640 | ||
| 035 | |a Springer978-1-402-06324-4 | ||
| 035 | |a Springer978-1-4020-6324-4 | ||
| 035 | |a Springer-11648-978-1-4020-6324-4 | ||
| 035 | |a Springer-11649-978-1-4020-6324-4 | ||
| 100 | |a 20080505d2007 u y0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a NL | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Handbook of Philosophical Logic |f edited by D.M. Gabbay, F. Guenthner. | |
| 214 | 0 | |a Dordrecht |c Springer Netherlands | |
| 214 | 2 | |a Cham |c Springer Nature |d 2007 | |
| 225 | 0 | |a Handbook of Philosophical Logic |x 3004-9938 |v 14 | |
| 330 | |a 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. | ||
| 359 | 1 | |a Editorial Preface; D.M. Gabbay -- Logics of Formal Inconsistency; W. Carnielli, M.E. Coniglio, J. Marcos -- Causality; J. Williamson -- On Conditionals; D. Edgington -- Quantifiers in Formal and Natural Languages; D. Westerståhl -- Index. | |
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |t Handbook of Philosophical Logic |x 3004-9938 |v 14 | |
| 452 | | | |t Handbook of Philosophical Logic |b Texte imprimé |y 9789048114474 | |
| 452 | | | |t Handbook of Philosophical Logic |b Texte imprimé |y 9789048176083 | |
| 452 | | | |0 119023776 |t Handbook of philosophical logic |h Volume 14 |f edited by D.M. Gabbay,... and F. Guenthner,... |e 2nd edition |d 2007 |c Dordrecht |n Springer |p 1 vol. (XIII-345 p.) |y 978-1-4020-6323-7 | |
| 610 | 1 | |a Philosophy | |
| 610 | 2 | |a Artificial Intelligence (incl. Robotics) | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Mathematics, general | |
| 610 | 2 | |a Logic | |
| 610 | 2 | |a Philosophy of Language | |
| 610 | 2 | |a Philosophy of Science | |
| 610 | 1 | |a Mathematics | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Formal Languages and Automata Theory | |
| 615 | |a @Humanities, Social Science and Law |n 11648; ZDB-2-SHU |2 Springer | ||
| 615 | |a @Humanities, Social Sciences and Law |n 11648 |2 Springer | ||
| 676 | |a 160 |v 23 | ||
| 680 | |a BC1-199 | ||
| 700 | 1 | |a Gabbay |b D.M. |4 070 | |
| 701 | 1 | |a Gabbay |b Dov M. |4 651 | |
| 701 | 1 | |a Guenthner |b Franz |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20240625 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20231204 |g AACR2 | |
| 856 | 4 | |5 441099901:830845275 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-1-4020-6324-4 | |
| 915 | |5 441099901:830845275 |b SPRING18-00142 | ||
| 930 | |5 441099901:830845275 |b 441099901 |j g | ||
| 991 | |5 441099901:830845275 |a Exemplaire créé en masse par ITEM le 30-09-2024 15:59 | ||
| 997 | |a NUM |b SPRING18-00142 |d NUMpivo |e EM |s d | ||
| 998 | |a 977803 | ||