Handbook of Philosophical Logic, Vol. 8

GABBAY, DOV M. & GUENTHNER, FRANZ (EDS)

ISBN 10: 1402006659 / ISBN 13: 9781402006654

Editore: Kluwer Academic Publishers, Dordrecht, 2002

Riguardo questo articolo

- Covers a little rubbed, especially to edges, w/ corners bumped and very lightly creased - Book ow/ solid, clean and bright - xiii/354 pages. Codice articolo 634023

Dati bibliografici

Titolo: Handbook of Philosophical Logic, Vol. 8

Casa editrice: Kluwer Academic Publishers, Dordrecht

Data di pubblicazione: 2002

Legatura: Paperback

Condizione: Very Good

Edizione: seconda edizione

Descrizione articolo

Riassunto:

logics databases modality Algorithmic Discourse rep­ New logics. Generaltheory Proceduralap­ proof resentation. Generic theo­ of reasoning. proachtologic Direct com- remprovers Non-monotonic putation on systems linguisticinput Non­ Resolving Loopchecking. Intrinsiclogical Negation by monotonic ambigui- Non-monotonic discipline for failure.Deduc­ reasoning ties. Machine decisionsabout AI. Evolving tivedatabases translation. loops. Faults and com­ Document insystems. municating classification. databases Relevance theory Probabilistic logicalanalysis Realtimesys­ Expert sys­ Semantics for and fuzzy oflanguage tems tems.Machine logicprograms logic learning Intuitionistic Quantifiers in Constructive Intuitionistic Horn clause logic logic reasoning and logicisabetter logic is really proof theory logical basis intuitionistic.

Recensione:

"The best starting point for exploring any of the topics in logic"
                                                                 Encyclopaedia Britannica