Handbook of Philosophical Logic: Volume 8 - Brossura

Brossura

ISBN 10: 9401039194 ISBN 13: 9789401039192

Casa editrice: Springer, 2012

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.

Su questo libro

Recensione

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

Contenuti

Editorial Preface; D.M. Gabbay. The Logic of Questions; D. Harrah. Sequent Systems for Modal Logics; H. Wansing. Deontic Logic; L. Åqvist. Deontic Logic and Contrary-to-Dutiesl J. Carmo, A. Jones. Index.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2012
• Lingua: Inglese
• ISBN 10: 9401039194
• ISBN 13: 9789401039192
• Rilegatura: Copertina flessibile
• Numero edizione: 2
• Numero di pagine: 372
• Redattore: Gabbay Dov M., Guenthner Franz
• Contatto del produttore: {language_tag:it_IT,value:"Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com"}