{"title":"Heinrich Wansing","description":null,"products":[{"product_id":"displaying-modal-logic-book-heinrich-wansing-9780792352051","title":"Displaying Modal Logic","description":"The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52132177936657,"sku":"NLS9780792352051","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792352051.jpg?v=1786615241"},{"product_id":"logic-of-information-structures-book-heinrich-wansing-9783540567349","title":"The Logic of Information Structures","description":"This monograph gives a logical treatment of two centralaspects of the concept of information, namely informationprocessing and information structure. The structure ofinformation is treated as a topic in model theory, whileinformation processing is seen as an aspect of proof theory.A wide spectrum of substructural subsystems ofintuitionistic propositional logic and of Nelson'sconstructive logic with strong negation is investigated. Inparticular, the problems of cut-elimination, functionalcompleteness, and coding of proofs with lambda-terms arehandled. Finally, an interpretation of these systems interms of states of information and operations over thesestates is presented.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52148127727889,"sku":"NLS9783540567349","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540567349.jpg?v=1786791382"},{"product_id":"dag-prawitz-on-proofs-and-meaning-book-heinrich-wansing-9783319110400","title":"Dag Prawitz on Proofs and Meaning","description":"Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52341554413841,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52341558182161,"sku":"NLS9783319110400","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319110400.jpg?v=1786088910"},{"product_id":"logics-in-artificial-intelligence-book-heinrich-wansing-9783540878025","title":"Logics in Artificial Intelligence","description":"This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September\/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52407659495697,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52407660052753,"sku":"NLS9783540878025","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783540878025.jpg?v=1786089331"},{"product_id":"proof-theory-of-modal-logic-book-heinrich-wansing-9780792341208","title":"Proof Theory of Modal Logic","description":"Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52427574346001,"sku":"NLS9780792341208","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9780792341208.jpg?v=1786010413"},{"product_id":"ifcolog-journal-of-logics-and-their-applications-volume-3-number-3-book-heinrich-wansing-9781848902220","title":"IfColog Journal of Logics and their Applications. Volume 3, number 3","description":"\u003cp\u003eThe IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net).\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52475616461073,"sku":"NLS9781848902220","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":52755356516625,"sku":"NIN9781848902220","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781848902220.jpg?v=1759842813"},{"product_id":"dag-prawitz-on-proofs-and-meaning-book-heinrich-wansing-9783319360317","title":"Dag Prawitz on Proofs and Meaning","description":"\u003cp\u003eThis volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. \u003c\/p\u003e\u003cp\u003eThe book opens with an introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. \u003c\/p\u003e\u003cp\u003eIn addition, there are chapters about inversion principles, normalization of p\u003c\/p\u003eroofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence.\u003cb\u003e\u003c\/b\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52479501697297,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52479502647569,"sku":"NLS9783319360317","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319360317.jpg?v=1785779598"},{"product_id":"displaying-modal-logic-book-heinrich-wansing-9789048150793","title":"Displaying Modal Logic","description":"The present monograph is a slightly revised version of my Habilitations  schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52480011567377,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52480012484881,"sku":"NLS9789048150793","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789048150793.jpg?v=1786064005"},{"product_id":"proof-theory-of-modal-logic-book-heinrich-wansing-9789048147205","title":"Proof Theory of Modal Logic","description":"Proof Theory of Modal Logicis devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52480698515729,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52480699597073,"sku":"NLS9789048147205","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789048147205.jpg?v=1786072713"},{"product_id":"essays-on-non-classical-logic-book-heinrich-wansing-9789810247355","title":"ESSAYS ON NON-CLASSICAL LOGIC","description":"This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52618212475153,"sku":"NLS9789810247355","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789810247355.jpg?v=1788865632"},{"product_id":"negation-book-heinrich-wansing-9783110147698","title":"Negation","description":"No detailed description available for \"Negation\".","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52650811851025,"sku":"NLS9783110147698","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783110147698.jpg?v=1762128902"}],"url":"https:\/\/www.worldofbooks.com\/collections\/author-books-by-heinrich-wansing.oembed","provider":"World of Books ","version":"1.0","type":"link"}