Heinrich Wansing – författare
Visar alla böcker från författaren Heinrich Wansing. Handla med fri frakt och snabb leverans.
39 produkter
Proof Theory of Modal Logic
Inbunden, 1996
1641 kr
Lägg i varukorg
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 …
Displaying Modal Logic
Inbunden, 1998
1532 kr
Lägg i varukorg
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 …
What is Negation?
Av Dov M. Gabbay, Heinrich Wansing
Inbunden, 1999
2185 kr
Lägg i varukorg
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. The properties of negation-in combination with …
Towards Mathematical Philosophy
Papers from the Studia Logica conference Trends in Logic IV
Av David Makinson, Jacek Malinowski m. fl.
Inbunden, 2008
1641 kr
Lägg i varukorg
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 …
Towards Mathematical Philosophy
Papers from the Studia Logica conference Trends in Logic IV
Av Heinrich Wansing, Jacek Malinowski m. fl.
E-bok, 2008
2111 kr
Lägg i varukorg
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 …
Advances in Modal Logic, Volume 2
Av Michael Zakharyaschev, Krister Segerberg m. fl.
Häftad, 2001
279 kr
Lägg i varukorg
Modal logic originated in philosophy as the logic of necessity and possibility. Now it has reached a high level of mathematical sophistication and has many applications in a variety of disciplines, ranging from artificial intelligence, computer science and mathematics via natural language syntax …
Proof Theory of N4-Paraconsistent Logics
Av Norihiro Kamide, Heinrich Wansing
Häftad, 2015
250 kr
Lägg i varukorg
IfColog Journal of Logics and their Applications. Volume 3, number 3
Connexive Logics
Av Heinrich Wansing, Hitoshi Omori m. fl.
Häftad, 2016
193 kr
Lägg i varukorg
Advances in Modal Logic, Volume 5
Av R. Schmidt, I. Pratt-Hartmann m. fl.
Häftad, 2005
300 kr
Lägg i varukorg
New Essays on Belnap-Dunn Logic
Av Hitoshi Omori, Heinrich Wansing
Inbunden, 2020
1205 kr
Lägg i varukorg
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 include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of …
New Essays on Belnap--Dunn Logic
Av Heinrich Wansing, Hitoshi Omori
E-bok, 2020
1570 kr
Lägg i varukorg
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 include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of …
New Essays on Belnap-Dunn Logic
Av Hitoshi Omori, Heinrich Wansing
Häftad, 2021
1205 kr
Lägg i varukorg
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 include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of …
60 Years of Connexive Logic
Av Hitoshi Omori, Heinrich Wansing
Inbunden, 2025
1416 kr
Lägg i varukorg
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 systems of non-classical logic, systems of connexive logic are contra-classical in that they both …
60 Years of Connexive Logic
Av Heinrich Wansing, Hitoshi Omori
E-bok, 2025
1785 kr
Lägg i varukorg
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 systems of non-classical logic, systems of connexive logic are contra-classical in that they both …
60 Years of Connexive Logic
Av Hitoshi Omori, Heinrich Wansing
Häftad, 2026
1423 kr
Lägg i varukorg
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 systems of non-classical logic, systems of connexive logic are contra-classical in that they both …
Negation
A Notion in Focus
Inbunden, 1996
1644 kr
Lägg i varukorg
No detailed description available for "Negation".
Negation
A Notion in Focus
E-bok, 2010
1472 kr
Lägg i varukorg
No detailed description available for "e;Negation"e;.
Recent Trends in Philosophical Logic
Av Roberto Ciuni, Heinrich Wansing m. fl.
Inbunden, 2014
1096 kr
Lägg i varukorg
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 modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, …
Recent Trends in Philosophical Logic
Av Caroline Willkommen, Heinrich Wansing m. fl.
E-bok, 2014
1459 kr
Lägg i varukorg
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 modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, …
Dag Prawitz on Proofs and Meaning
Inbunden, 2014
1096 kr
Lägg i varukorg
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 …
Dag Prawitz on Proofs and Meaning
E-bok, 2014
1427 kr
Lägg i varukorg
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 …
Recent Trends in Philosophical Logic
Av Roberto Ciuni, Heinrich Wansing m. fl.
Häftad, 2016
1096 kr
Lägg i varukorg
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 modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, …
Dag Prawitz on Proofs and Meaning
Häftad, 2016
1096 kr
Lägg i varukorg
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 …
Nonclassical Logics and Information Processing
International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
Av David Pearce, Heinrich Wansing
Häftad, 1992
388 kr
Lägg i varukorg
This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of Berlin, November9-10, 1990.The scope of the ten papers in the volume is broad, coveringvarious different subfields of logic - …
Logic of Information Structures
Häftad, 1993
568 kr
Lägg i varukorg
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 …
Logics in Artificial Intelligence
11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Av Steffen Hölldobler, Carsten Lutz m. fl.
Häftad, 2008
568 kr
Lägg i varukorg
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 …
Logics in Artificial Intelligence
11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings
Av Heinrich Wansing, Carsten Lutz m. fl.
E-bok, 2008
739 kr
Lägg i varukorg
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 …
Proof Theory of Modal Logic
Häftad, 2010
1641 kr
Lägg i varukorg
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 …
Displaying Modal Logic
Häftad, 2010
1532 kr
Lägg i varukorg
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 …
What is Negation?
Av Dov M. Gabbay, Heinrich Wansing
Häftad, 2010
2185 kr
Lägg i varukorg
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. The properties of negation-in combination with …
