Heinrich Wansing's Books

Essays on Non-classical Logic

By: Heinrich Wansing

Write a review Read reviews Take a Quiz Solve Book Puzzle

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. Contents: Fine-Grained Theories of Time (P Blackburn); Revision Sequences and Computers with an Infinite Amount of Time (B LAwe); On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics (S Rahman); Truthmakers, Entailment and Necessity (S Read); Global Definability in Basic Modal Logic (M de Rijke & H Sturm); Ackermann's Implication for Typefree Logic (K Robering); Why Dialogical Logic? (H Rckert); Semantics for Constructive Negations (Y Shramko); Recent Trends in Paraconsistent Logic (M Urchs); Obligations, Authorities, and History Dependence (H Wansing). Readership: Graduate students and researchers in philosophical logic and mathematical logic, as well as computer scientists in artificial intelligence.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

275

Publisher

World Scientific

Published Date

ISBN 10

9812799745

ISBN 13

9789812799746

Truth and Falsehood

An Inquiry into Generalized Logical Values

By: Yaroslav Shramko,Heinrich Wansing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Truth and Falsehood

An Inquiry into Generalized Logical Values

By: Yaroslav Shramko,Heinrich Wansing

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. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice (a lattice of truth values with two ordering relations) constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

254

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9400709072

ISBN 13

9789400709072

Displaying Modal Logic

By: Heinrich Wansing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Displaying Modal Logic

By: Heinrich Wansing

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. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

259

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9401712808

ISBN 13

9789401712804

Essays on Non-classical Logic

By: Heinrich Wansing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Essays on Non-classical Logic

By: Heinrich Wansing

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

275

Publisher

World Scientific

Published Date

ISBN 10

9812799745

ISBN 13

9789812799746

Truth and Falsehood

An Inquiry into Generalized Logical Values

By: Yaroslav Shramko,Heinrich Wansing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Truth and Falsehood

An Inquiry into Generalized Logical Values

By: Yaroslav Shramko,Heinrich Wansing

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

254

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9400709072

ISBN 13

9789400709072

Displaying Modal Logic

By: Heinrich Wansing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Displaying Modal Logic

By: Heinrich Wansing

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

259

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9401712808

ISBN 13

9789401712804

Towards Mathematical Philosophy

Papers from the Studia Logica conference Trends in Logic IV

By: David Makinson,Jacek Malinowski,Heinrich Wansing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Towards Mathematical Philosophy

Papers from the Studia Logica conference Trends in Logic IV

By: David Makinson,Jacek Malinowski,Heinrich Wansing

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. The third concerns the logic of belief management,whichis likewise closely connected with recent work in computer science but also links directly with epistemology, the philosophy of science, the study of legal and other normative systems, and cognitive science. The grouping is of course rough, for there are contributions to the volume that lie astride a boundary; at least one of them is relevant, from a very abstract perspective, to all three areas. We say a few words about each of the individual chapters, to relate them to each other and the general outlook of the volume. Modal Logics The ?rst bundle of papers in this volume contains contribution to modal logic. Three of them examine general problems that arise for all kinds of modal logics. The ?rst paper is essentially semantical in its approach, the second proof-theoretic, the third semantical again: • Commutativity of quanti?ers in varying-domain Kripke models,by R. Goldblatt and I. Hodkinson, investigates the possibility of com- tation (i.e. reversing the order) for quanti?ers in ?rst-order modal logics interpreted over relational models with varying domains. The authors study a possible-worlds style structural model theory that does not v- idate commutation, but satis?es all the axioms originally presented by Kripke for his familiar semantics for ?rst-order modal logic.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

346

Publisher

Springer

Published Date

ISBN 10

1402090838

ISBN 13

9781402090837

Proof Theory of N4-Paraconsistent Logics

By: Norihiro Kamide,Heinrich Wansing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Proof Theory of N4-Paraconsistent Logics

By: Norihiro Kamide,Heinrich Wansing

The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nelson. The volume brings together a number of papers the authors have written separately or jointly on various systems of inconsistency-tolerant logic. The material covers the structural proof theory of N4, its fragments, including first-degree entailment logic, related logics, such as trilattice logics, connexive systems, systems of symmetric and dual paraconsistent logic, and variations of bi-intuitionistic logic, paraconsistent temporal logics, substructural subsystems of N4, such as paraconsistent intuitionistic linear logics, paraconsistent logics based on involutive quantales, and paraconsistent Lambek logics. Although the proof-theory of N4 and N4-related logics is the central theme of the present monograph, models and model-theoretic semantics also play an important role in the presentation. The relational, Kripke-style models that are dealt with provide a motivating and intuitively appealing insight into the logics with respect to which they are shown to be sound and complete. Nevertheless, the emphasis is on Gentzen-style proof systems -in particular sequent calculi of a standard and less standard kind- for paraconsistent logics, and cut-elimination and its consequences are a central topic throughout. A unifying element of the presentation is the repeated application of embedding theorems in order to transfer results from other logics such as intuitionistic logic to the paraconsistent case.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

414

Published Date

ISBN 10

1848901674

ISBN 13

9781848901674

Knowledge and Belief in Philosophy and Artificial Intelligence

By: Armin Laux,Heinrich Wansing

Write a review Read reviews Take a Quiz Solve Book Puzzle

Knowledge and Belief in Philosophy and Artificial Intelligence

By: Armin Laux,Heinrich Wansing

This book examines the concepts of knowledge and belief and their formalisation in systems of epistemic logic, concepts which are equally central to philosophy and artificial intelligence research (AI). The original contributions compiled in "Knowledge and Belief in Philosophy and Arificial Intelligence" give an excellent overview of the current state of research in a field which has now developed into one of the focal areas of the representation of knowledge.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

229

Published Date

ISBN 10

3050027916

ISBN 13

9783050027913

Book's by Heinrich Wansing

Essays on Non-classical Logic

Essays on Non-classical Logic

Truth and Falsehood

Truth and Falsehood

Displaying Modal Logic

Displaying Modal Logic

Essays on Non-classical Logic

Essays on Non-classical Logic

Truth and Falsehood

Truth and Falsehood

Displaying Modal Logic

Displaying Modal Logic

Towards Mathematical Philosophy

Towards Mathematical Philosophy

Proof Theory of N4-Paraconsistent Logics

Proof Theory of N4-Paraconsistent Logics

Knowledge and Belief in Philosophy and Artificial Intelligence

Knowledge and Belief in Philosophy and Artificial Intelligence

Username

Password

Username

Password

Password again

Birthday

Email