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 theory, model theory and computation theory.  Meer

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics.  Meer

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 calculus, meta-term inference and schematization, deductive decision procedures, and automated model building.  Meer

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else).  Meer

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 and Computation.  Meer

- Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor maintenance and organ procurement.  Meer

1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.  Meer

Reasoning is an integral part of intelligent systems in fields like databases, logic programming, robotics, knowledge engineering, human/computer interfaces, programming environments, etc.  Meer

Over the past decade, rational agency has come to be recognised as a central theme in artificial intelligence. Drawing upon research on rational action and agency in philosophy, logic, game theory, decision theory, and the philosophy of language, this volume represents an advanced, comprehensive state-of-the-art survey of the field of rational agency as it stands today.  Meer

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.  Meer

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.  Meer

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 been studied across a wide range of disciplines, from the natural sciences to philosophy and logic.  Meer

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 as a field of research in the 1950s.  Meer

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.  Meer

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 introduction to mathematical logic starts with propositional calculus and first-order logic.  Meer