heinrich wansing

Grid   List

  1. Truth and Falsehood
    Truth and Falsehood
    Yaroslav Shramko
    Springer Netherlands
    Ebook
    Sofort lieferbar
    The book presents a thoroughly elaborated logical theory of generalized truth values understood as subsets of some established set of (basic) truth entities. After elucidating the importance of the...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Towards Mathematical Philosophy
    Towards Mathematical Philosophy
    David Makinson
    Springer Netherlands
    Ebook
    Sofort lieferbar
    This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its r...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Negation
    Negation
    Heinrich Wansing
    De Gruyter
    Ebook
    Sofort lieferbar
    No detailed description available for 'Negation'.
    109,95 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Recent Trends in Philosophical Logic
    Recent Trends in Philosophical Logic
    Roberto Ciuni
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other m...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Dag Prawitz on Proofs and Meaning
    Dag Prawitz on Proofs and Meaning
    Heinrich Wansing
    Springer International Publishing
    Ebook
    Sofort lieferbar
    roofs, 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 dimensi...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Logics in Artificial Intelligence
    Logics in Artificial Intelligence
    Steffen Hölldobler
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. New Essays on Belnap-­Dunn Logic
    New Essays on Belnap-­Dunn Logic
    Hitoshi Omori
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These ...
    106,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. What is Negation?
    What is Negation?
    Dov M. Gabbay
    Springer Netherlands
    Ebook
    Sofort lieferbar
    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, lingui...
    213,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Displaying Modal Logic
    Displaying Modal Logic
    Heinrich Wansing
    Springer Netherlands
    Ebook
    Sofort lieferbar
    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, Novemb...
    139,09 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Proof Theory of Modal Logic
    Proof Theory of Modal Logic
    Heinrich Wansing
    Springer Netherlands
    Ebook
    Sofort lieferbar
    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 ...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. 60 Years of Connexive Logic
    60 Years of Connexive Logic
    Hitoshi Omori
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book provides deep insights into current research in the rapidly developing field of connexive logic and includes contributions from leading scholars in the field. Unlike the most well known s...
    128,39 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Proof Theory of N4-Paraconsistent Logics
    Proof Theory of N4-Paraconsistent Logics
    Norihiro Kamide
    College Publications
    Taschenbuch
    Bezug 6-10
    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 Nels...
    37,51 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
<%--for search--%>