College Publications

"hAS aNYONE sEEN MY cAPSLOCK kEY?" 500CC is a compilation of more than 500 citations on the experiences we have as computer users, abusers and Internet-cruisers---from rage and anger via joy,...

Systems are everywhere and affect us daily in our private and professional lives. We all use the word "system" to describe something that is essential but often abstract, complex and even mysterious...

This monograph is an investigation into certain new logical structures implicit in the formalism of quantum mechanics. Its message rests on two pillars. The first pillar is the dynamic view of...

This book is a different approach to teaching the foundations of mathematical analysis and of computation. The main idea is to delay the use of "formal definitions", which are definitions that nobody...

The realism/anti-realism debate is one of the traditional central themes in the philosophy of mathematics. The controversies about the existence of the irrational numbers, the complex numbers, the...

"The binomial theorem is usually quite rightly considered as one of the most important theorems in the whole of analysis." Thus wrote Bernard Bolzano in 1816 in introducing the first correct proof of...

Cet ouvrage collectif contient les Actes d'un colloque international bilingue en hommage ? J.-Nicolas Kaufmann tenu ? Trois-Rivi?res au Qu?bec en octobre 2002. L'ouvrage auquel ont contribu? des...

The Editors' vision for this volume is that it should be a selection of essays, contributed by the academics who have worked, studied, collaborated and disagreed with G?ran Sundholm; engaging in...

The research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, UK, 9 January - 6 July 2012, was one of the...

Since ancient times, philosophers have recognised that truth comes in many 'modes', so that a proposition can be not only true or false, but also, for example, 'necessary' or 'possible'. These ideas...

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has...

Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in Modal Logic broadly conceived. The topics dealt with are of...

Advances in Modal Logic is a unique international forum representing the latest results and new directions of research in Modal Logic broadly conceived. The topics dealt with are of interdisciplinary...

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has...

Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics,...

Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in modal logic broadly conceived. The topics dealt with are of...

Mathematics originates with intuition. But intuition alone can only go so far and formalism develops to handle the more difficult problems. Formalism, however, has its inherent dangers. There are...

This volume is both a tribute to Ulrich Felgner's research in algebra, logic, and set theory and a strong research contribution to these areas. Felgner's former students, friends and collaborators...

The present volume is dedicated to aspects of algorithmic work in bioinformatics and computational biology with an emphasis on string algorithms that play a central role in the analysis of biological...

The development of new and improved proof systems, proof formats and proof search methods is one of the most essential goals of Logic. But what is a proof? What makes a proof better than another? How...

This book studies 1-D and 2-D solutions of discrete and continuous analogue dynamical systems and identifies their intrinsic differences. It starts by introducing discrete dynamical systems before...

In this book we deal with combinations of concepts defining individuals in the Talmud. Consider for example Yom Kippur and Shabbat. Each concept has its own body of laws. Reality forces us to combine...

Ilkka Niiniluoto, a distinguished philosopher of science, has been a tirelesspokesman for scientific realism and reason more generally. Trained in the tradition of the Finnish school of inductive...

A travers cet ouvrage nous produisons un lien sp?cifique entre l'?pist?mologie et la logique ?pist?mique. Si de nombreuses tentatives de conciliation entre logique ?pist?mique et ?pist?mologie se...

O Prolog ? uma linguagem de programa??o, mas uma linguagem pouco usual. A designa??o "Prolog'' ? abreviatura de "Programming with Logic'' e a rela??o com a l?gica ? o que d? ao Prolog o seu perfil...

This book is intended for the formal argumentation community and for the sex offender therapist community. Both communities use logic. The message of this book is that the argumentation logic models...

Les arguments qui int?grent des ?nonc?s intentionnels et fictionnels d?fient les lois de la logique classique en remettant en cause la validit? de principes comme la g?n?ralisation existentielle ou...

The first edition of Aristotle's Earlier Logic attracted some favourable attention. In his review for the journal Argumentation, David Hitchcock writes, "The book is a treasure trove of sophisticated...

Automata and Dictionaries is aimed at students and specialists in natural language processing and related disciplines where efficient text analysis plays a role. Large linguistic resources, in...

Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has become an important topic of research. /Automated...