LIBROS DEL AUTOR: heinrich wansing

6 resultados para LIBROS DEL AUTOR: heinrich wansing

heinrich wansing Eliminar filtro Quitar filtros
  • Dag Prawitz on Proofs and Meaning
    Heinrich Wansing
    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. In particular, Pr...
    Disponible

    133,05 €

  • Proof Theory of N4-Paraconsistent Logics
    Heinrich Wansing / Norihiro Kamide
    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...
    Disponible

    22,81 €

  • Truth and Falsehood
    Heinrich Wansing / Yaroslav Shramko
    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 ...
    Disponible

    134,05 €

  • Proof Theory of Modal Logic
    Heinrich Wansing
    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, knowle...
    Disponible

    207,49 €

  • Displaying Modal Logic
    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 certa...
    Disponible

    195,51 €

  • The Logic of Information Structures
    Heinrich Wansing
    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. A wide spectrum of substructural subsyste...
    Disponible

    66,81 €