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 |