{"product_id":"handbook-of-philosophical-logic-volume-8-von-dov-m-gabbay-franz-guenthner-hrsg","title":"Handbook of Philosophical Logic","description":"\u003cp\u003elogics 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9789401039192\"\u003e\u003ch3\u003eVolume 8\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781402006654\"\u003e\u003ch3\u003eVolume 8\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9789401039192","offer_id":39416624218205,"sku":"9789401039192","price":171.19,"currency_code":"EUR","in_stock":true},{"title":"Hardcover - 9781402006654","offer_id":32988398714973,"sku":"9781402006654","price":171.19,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/3707f03e-8117-4d1f-bf5c-fdb35e6f48c8.jpg?v=1766725836","url":"https:\/\/shop.autorenwelt.de\/products\/handbook-of-philosophical-logic-volume-8-von-dov-m-gabbay-franz-guenthner-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}