Results for Heinrich Wansing

ISBN.nu

search for books and compare prices

Heinrich Wansing has written 16 work(s)

Search for other authors with the same name

displaying 1 to 16 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Dag Prawitz on Proofs and Meaning

Product Description: This 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...read more

By Heinrich Wansing (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9783319110400 | Springer Verlag, December 8, 2014, cover price $179.00 | About this edition: This volume is dedicated to Prof.

Truth and Falsehood: An Inquiry into Generalized Logical Values

Product Description: The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion...read more

By Heinrich Wansing

See complete details on each edition (2 editions listed)

Hardcover:

9789400709065 | Springer Verlag, September 15, 2011, cover price $159.00 | About this edition: The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values.

Paperback:

9789400737341 | Springer Verlag, November 27, 2013, cover price $159.00 | About this edition: The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values.

Towards Mathematical Philosophy: Papers from the Studia Logica Conference Trends in Logic 4

By Heinrich Wansing

See complete details on each edition (1 edition listed)

Paperback:

9789048180653 | Springer Verlag, December 1, 2008, cover price $189.00

Towards Mathematical Philosophy: Papers from the Studia Logica Conference Trends in Logic IV

Product Description: area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering...read more

By Heinrich Wansing (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9781402090837 | Springer Verlag, December 1, 2008, cover price $189.00 | About this edition: area and in applications to linguistics, formal epistemology, and the study of norms.

Logics in Artificial Intelligence: 11th European Conference, Jelia 2008, Dresden, Germany, September 28-october 1, 2008. Proceedings

Product 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...read more

By Heinrich Wansing (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540878025 | Springer-Verlag New York Inc, November 19, 2008, cover price $109.00 | About this edition: 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.

First-order Logic Revisited

Product Description: The volume includes the proceedings from the conference FOL75 -- 75 Years of First-Order Logic held at Humboldt University, Berlin, September 18 - 21, 2003 on the occasion of the anniversary of the publication of Hilbert's and Ackermann's Grundzuge der theoretischen Logik...read more

By Heinrich Wansing (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783832504755 | Isd, July 30, 2004, cover price $113.00 | About this edition: The volume includes the proceedings from the conference FOL75 -- 75 Years of First-Order Logic held at Humboldt University, Berlin, September 18 - 21, 2003 on the occasion of the anniversary of the publication of Hilbert's and Ackermann's Grundzuge der theoretischen Logik.

Advances in Modal Logic

By Maarten De Rijke, Heinrich Wansing (editor) and Frank Wolter

See complete details on each edition (1 edition listed)

Hardcover:

9789812381798 | World Scientific Pub Co Inc, February 1, 2003, cover price $157.00

Essays on Non-Classical Logic

Product 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...read more (view table of contents, read Amazon.com's description)

By Heinrich Wansing (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9789810247355 | World Scientific Pub Co Inc, November 1, 2001, cover price $87.00 | About this edition: 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.

What Is Negation?

Product Description: The notion of negation is one of the central logical notions. It has been studied since antiquity and has been subjected to thorough investigations in the development of philosophical logic, linguistics, artificial intelligence and logic programming...read more (view table of contents, read Amazon.com's description)

By Dov M. Gabbay (editor) and Heinrich Wansing (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780792355694 | Kluwer Academic Pub, March 1, 1999, cover price $299.00 | About this edition: The notion of negation is one of the central logical notions.

What Is Negation?

By Dov M. Gabbay and Heinrich Wansing (editor)

See complete details on each edition (1 edition listed)

Paperback:

9789048151691 | Springer Verlag, March 1, 1999, cover price $299.00 | About this edition: The notion of negation is one of the central logical notions.

Displaying Modal Logic

Product 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. It collects work on proof systems for modal and constructive logics I have done over the last few years...read more (view table of contents, read Amazon.com's description)

By Heinrich Wansing

See complete details on each edition (2 editions listed)

Hardcover:

9780792352051 | Kluwer Academic Pub, September 1, 1998, cover price $209.00 | About this edition: 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.

Paperback:

9789048150793 | Springer Verlag, September 1, 1998, cover price $209.00 | About this edition: 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.

Advances in Modal Logic

Product Description: Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical and computational discipline. It is the main source of formal languages aimed at analyzing complex notions such as common knowledge and formal provability...read more (view table of contents, read Amazon.com's description)

By Heinrich Wansing and Michael Zakharyaschev

See complete details on each edition (5 editions listed)

Hardcover:

9781575862712 | Stanford Univ Center for the Study, March 20, 2001, cover price $70.00 | About this edition: Modal Logic, originally conceived as the logic of necessity and possibility, has developed into a powerful mathematical and computational discipline.

9781575861036 | Stanford Univ Center for the Study, June 1, 1998, cover price $64.95 | About this edition: Modal logic originated in philosophy as the logic of necessity and possibility.

Paperback:

9781575861029 | Stanford Univ Center for the Study, June 1, 1998, cover price $35.00

9781575862729 | Stanford Univ Center for the Study, January 1, 1997, cover price $32.00

9780048820303, titled "Electra" | Unwin Hyman, June 1, 1905, cover price $3.95 | also contains Advances In Modal Logic, Electra

Proof Theory of Modal Logic

Product 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...read more

By Heinrich Wansing (editor)

See complete details on each edition (2 editions listed)

Hardcover:

9780792341208 | Kluwer Academic Pub, December 1, 1996, cover price $269.00 | About this edition: 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.

Paperback:

9789048147205 | Springer Verlag, December 1, 1996, cover price $269.00 | About this edition: 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.

Negation: A Notion in Focus

Product Description: Book by

By Gesellschaft Fur Analytische Philosophie (corporate author) and Heinrich Wansing (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9783110147698 | Walter De Gruyter Inc, March 1, 1996, cover price $154.00 | About this edition: Book by

The Logic of Information Structures

Product Description: This monograph gives a logical treatment of two central aspects of the concept of information, namely information processing and information structure. The structure of information is treated as a topic in model theory, while information processing is seen as an aspect of proof theory...read more

By Heinrich Wansing

See complete details on each edition (2 editions listed)

Paperback:

9780387567341 | Springer Verlag, September 1, 1993, cover price $57.95 | About this edition: This monograph gives a logical treatment of two central aspects of the concept of information, namely information processing and information structure.

9783540567349 | Springer Verlag, July 29, 1993, cover price $99.00 | About this edition: This monograph gives a logical treatment of two central aspects of the concept of information, namely information processing and information structure.

Nonclassical Logics and Information Processing: International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings

Product Description: This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly nonclassical logic - and its applications in artificial intelligence...read more

By Heinrich Wansing (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540557456 | Springer Verlag, July 22, 1992, cover price $49.99 | About this edition: This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990.

displaying 1 to 16 | at end