David Makinson, Visiting Professor in Department of Philosophy, London School of Economics, author of “Bridges from Classical to Nonmonotonic Logic” (College Publications, 2005) and “Sets Logic and Maths for Computing” (Springer 2008)
Jacek Malinowski, Professor of Logic at Institute of Philosophy, Polish Academy of Sciences and at Department of Logic, Nicolaus Copernicus University. Editor-in-Chief of Studia Logica
Heinrich Wansing, Professor of Philosophy of Science and Logic, Dresden University of Technology; managing editor of Studia Logica; author of “The Logic of Information Structures” (1993) and “Displaying Modal Logic (1998)”
12 电子书 Heinrich Wansing
David Makinson & Jacek Malinowski: Towards Mathematical Philosophy
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 scien …
PDF
英语
€149.79
Roberto Ciuni & Heinrich Wansing: Recent Trends in Philosophical Logic
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 mod …
PDF
英语
€96.29
Heinrich Wansing: Dag Prawitz on Proofs and Meaning
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 t …
PDF
英语
€96.29
Yaroslav Shramko & Heinrich Wansing: Truth and Falsehood
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 ver …
PDF
英语
€96.29
Maarten De Rijke & Heinrich Wansing: ADVANCES IN MODAL LOGIC: VOLUME 3
Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathe …
PDF
英语
DRM
€239.99
Heinrich Wansing: ESSAYS ON NON-CLASSICAL LOGIC (V1)
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 …
PDF
英语
DRM
€129.99
Steffen Holldobler & Carsten Lutz: Logics in Artificial Intelligence
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 …
PDF
英语
DRM
€57.94
Dov M. Gabbay & Heinrich Wansing: What is Negation?
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, linguist …
PDF
英语
DRM
€230.91
Heinrich Wansing: Displaying Modal Logic
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 …
PDF
英语
DRM
€153.76
Heinrich Wansing: Proof Theory of Modal Logic
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 ne …
PDF
英语
DRM
€166.48
Hitoshi Omori & Heinrich Wansing: New Essays on Belnap-Dunn Logic
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 in …
PDF
英语
€96.29