Nantilus
Handbook of the history of logic : Volume 8 the many valued and non-monotonic turn in logic
The present volume of the Handbook of the History of Logic brings ogether two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure...
Enregistré dans:
| Autres auteurs : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Handbook of the history of logic. Volume 8, the many valued and non-monotonic turn in logic / edited by Dov M. Gabbay,... and John Woods,... |
| Publié : |
Amsterdam, Boston, Heidelberg :
Elsevier
, 2007, cop. 2007 North-Holland |
| Description matérielle : | 1 vol. (XII-689 p.) |
| Sujets : |
| LEADER | 02246cam a2200409 4500 | ||
|---|---|---|---|
| 001 | PPN121453839 | ||
| 003 | http://www.sudoc.fr/121453839 | ||
| 005 | 20240320152900.0 | ||
| 010 | |a 978-0-444-51623-7 |b rel. | ||
| 010 | |a 0-444-51623-9 |b rel. | ||
| 035 | |a (OCoLC)493693176 | ||
| 073 | 1 | |a 9780444516237 | |
| 100 | |a 20080213h20072007k y0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a NL | ||
| 105 | |a y a 001yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | |6 z01 |a nga |2 RDAfrCarrier | ||
| 200 | 1 | |a Handbook of the history of logic |h Volume 8 |i the many valued and non-monotonic turn in logic |f edited by Dov M. Gabbay,... and John Woods,... | |
| 214 | 0 | |a Amsterdam |a Boston |a Heidelberg |c Elsevier |c North-Holland |d 2007, cop. 2007 | |
| 215 | |a 1 vol. (XII-689 p.) |d 25 cm | ||
| 320 | |a Notes bibliogr. Bibliogr. en fin de contributions. Index | ||
| 330 | |a The present volume of the Handbook of the History of Logic brings ogether two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are allowed as inputs and outputs to consequence relations. Many-valued, dialetheic, fuzzy and quantum logics are, among other things, principled attempts to regulate the flow-through of sentences that are neither true nor false. On the second, or non-monotonic, approach, constraints are placed on inputs (and sometimes on outputs) of a classical consequence relation, with a view to producing a notion of consequence that serves in a more realistic way the requirements of inference | ||
| 606 | |3 PPN203675649 |a Raisonnement non monotone |2 rameau | ||
| 606 | |3 PPN035073144 |a Logique informatique |2 rameau | ||
| 606 | |3 PPN143510851 |a Logique |x Histoire |2 rameau | ||
| 686 | |a F.4 |2 acm | ||
| 702 | 1 | |3 PPN027955486 |a Gabbay |b Dov M. |f 1945-.... |4 340 | |
| 702 | 1 | |3 PPN028416163 |a Woods |b John Hayden |f 1937-.... |4 340 | |
| 801 | 3 | |a FR |b Abes |c 20230112 |g AFNOR | |
| 979 | |a PHILO | ||
| 930 | |5 441092107:431206430 |b 441092107 |j s | ||
| 998 | |a 614070 | ||