Goal-Directed Proof Theory

Dov M Gabbay, N Olivetti

• Hardcover | Engels | Applied Logic | nr. 21
• Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to comp... Lees meer

Formal Aspects of Context

• Hardcover | Engels | Applied Logic | nr. 20
• We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and ... Lees meer

A Textbook of Belief Dynamics

Sven Ove Hansson

• Paperback | Engels | Applied Logic | nr. 11
• The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical to... Lees meer

Intellectics and Computational Logic

• Hardcover | Engels | Applied Logic | nr. 19
• `Intellectics' seeks to understand the functions, structure and operation of the human intellect and to test artificial systems to see the extent to w... Lees meer

Frontiers in Belief Revision

• Hardcover | Engels | Applied Logic | nr. 22
• Frontiers in Belief Revision is a unique collection of leading edge research in Belief Revision. It contains the latest innovative ideas of highly res... Lees meer

A Textbook of Belief Dynamics

Sven Ove Hansson

• Hardcover | Engels | Applied Logic | nr. 11
• The mid-1980s saw the discovery of logical tools that make it possible to model changes in belief and knowledge in entirely new ways. These logical to... Lees meer

Advances in Temporal Logic

• Hardcover | Engels | Applied Logic | nr. 16
• Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has b... Lees meer

Proof Theory for Fuzzy Logics

George Metcalfe, Nicola Olivetti, Dov M Gabbay

• Hardcover | Engels | Applied Logic | nr. 36
• They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. Lees meer

Logic, Language and Computation

• Hardcover | Engels | Applied Logic | nr. 5
• The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language a... Lees meer

Fuzzy Sets, Logics and Reasoning about Knowledge

• Hardcover | Engels | Applied Logic | nr. 15
• Fuzzy Sets, Logics and Reasoning about Knowledge reports recent results concerning the genuinely logical aspects of fuzzy sets in relation to algebrai... Lees meer

A Modern Perspective on Type Theory

F D Kamareddine, T Laan, Rob Nederpelt

• Hardcover | Engels | Applied Logic | nr. 29
• `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of function... Lees meer

Labelled Deduction

• Hardcover | Engels | Applied Logic | nr. 17
• Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the lang... Lees meer

New Essays in Free Logic

• Hardcover | Engels | Applied Logic | nr. 23
• Free logic - i.e., logic free of existential presuppositions in general and with respect to singular terms in particular- began to come into its own a... Lees meer

Advances in Intensional Logic

• Hardcover | Engels | Applied Logic | nr. 7
• Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artifi... Lees meer

Automated Model Building

Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

• Hardcover | Engels | Applied Logic | nr. 31
• On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition ... Lees meer

Thirty Five Years of Automating Mathematics

• Hardcover | Engels | Applied Logic | nr. 28
• THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before... Lees meer

Logical and Computational Aspects of Model-Based Reasoning

• Paperback | Engels | Applied Logic | nr. 25
• Information technology has been, in recent years, under increasing commercial pressure to provide devices and systems which help/ replace the human in... Lees meer

Dynamic Worlds

• Hardcover | Engels | Applied Logic | nr. 12
• Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer inte... Lees meer

Proof Theory of Modal Logic

• Hardcover | Engels | Applied Logic | nr. 2
• Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, be... Lees meer

An Introduction to Mathematical Logic and Type Theory

Peter B Andrews

• Hardcover | Engels | Applied Logic | nr. 27
• In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com for more information. This ... Lees meer

Inference on the Low Level

Hannes Leitgeb

• Hardcover | Engels | Applied Logic | nr. 30
• In contrast to the prevailing tradition in epistemology, the focus in this book is on low-level inferences, i.e., those inferences that we are usually... Lees meer

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

• Hardcover | Engels | Applied Logic | nr. 9
• 1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let ... Lees meer

The Semantics and Proof Theory of the Logic of Bunched Implications

David J Pym

• Hardcover | Engels | Applied Logic | nr. 26
• This is a monograph about logic. Specifically, it presents the mathe- matical theory of the logic of bunched implications, BI: I consider Bl's proof t... Lees meer

What Is Negation?

• Hardcover | Engels | Applied Logic | nr. 13
• 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... Lees meer