Bøker i Studies in Logic and Computation-serien

A research monograph, this book addresses the logical aspects of the visualization of information with papers specially commissioned for this book. The authors explore the logical properties of diagrams, charts, maps, and the like, and their use in problem solving and in teaching basic reasoning skills.

BL A fundamental review of logic theory for database and knowledge systemsThis book, from the Studies in Logic and Computer Science series, uses non-classical logics inorder to formalize new queries and new answers. Topics covered include cooperative query answering, metareasoning and abductive reasoning, and also hypothetical and subjunctive reasoning.

Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and catagory theory. They include intuitionist logic, relevant logic, BCK logic, linear logic and Lambeck's calculus of synthetic catagories.

Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning.

BL Internationally renowned contributors including Kosta Dosen, Solomon Feferman, Neil Tennent, and Robert KowalskiA collection of papers addressing the fundamental question "what is a logical system?" This book presents a wide spectrum of ideas on the problem, reflecting curent mainstream approaches to logic and its applications.

Intensional logics provide a theoretical basis for establishing the foundations of programming. This volume discusses the use of intensional logics for the semantical analysis of logic programs and about programming in intensional logics. For example, modal logic, temporal logic and linear logic prove to be useful to understand logic programs.