College Publications

The International Workshop on Combinatorial Algorithms was established in 1989 as the Australasian Workshop on Combinatorial Algorithms. As a consequence of the workshop's success in attracting...

This volume contains selected papers presented by students at URC* 2010 (Undergraduate Research in Computer Science - Theory and Applications). The papers cover a wide range of topics, including...

Prolog est un langage de programmation tout ? fait original. Prolog est l'abr?viation de Programmation logique , et le lien qu'il entretient avec la logique est ce qui lui donne sa sp?cificit?. Au...

The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nelson...

This book is a monograph on the topic of Proof-Theoretic Semantics, a theory of meaning constituting an alternative to the more traditional Model-Theoretic Semantics. The latter regards meaning as...

This book in categorial proof theory formulates in terms of category theory a generalization close to linear algebra of the notions of distributive lattice and Boolean algebra. These notions of...

Grigori Mints is one the most distinguished proof theorists of our time. He has contributed significantly not only to the subject in general but also to most of its applications. This collection of...

Quantum Mechanics (QM) is emerging from physics into non-physics domains (domains traditionally found outside of physics) such as human language, cognition, information processing, AI, biology,...

"The importance of questions is beyond doubt. But the degree of attention paid to them in logic and linguistics is still less than they deserve." (from the Preface) What is a question? How to...

El razonamiento abductivo ha recibido una gran atenci?n en los ?ltimos a?os gracias a sus aplicaciones en diversas disciplinas, desde la epistemolog?a hasta la lingü?stica o la inteligencia...

Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contributed articles. For the reprints we have chosen a...

In this book we describe the fundamental rules for conflict resolution and address the basic Talmudic methods for resolving conflict. We also investigate logical loops in Talmudic argumentation. It...

By virtue of its subject, its methods, and its disciplinary tradition, philosophy of science straddles the borderlines between C. P. Snow's Two Cultures, connected equally strongly to the learned...

In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and...

Research in robust open-domain text processing has seen considerable progress in the last couple of decades. It is probably fair to say that language technology tools have reached satisfactory...

We develop semitopologies, a new topological structure which gives a mathematical foundation to heterogeneous, decentralised, permissionless, computing systems. Semitopologies help to model consensus...

In a wide-ranging series of papers, researchers from Poland, Slovakia and the Czech Republic and from the UK, Denmark and Germany offer perspectives on social work interventions in adult services in...

This volume puts together most of the papers given at the interdisciplinary workshop on DIAGRAMMATOLOGY AND DIAGRAM PRAXIS held at the University of Lisbon, 23-24th March 2009. The workshop was...

From Leibniz, through Kant, Frege and the "Booleans" to Husserl, this book is offered as a contribution to the conceptual understanding of symbolic knowledge, the kind of knowledge obtained by means...

This book returns to the discussion in volume 1 on analogy and induction, and analyses their substance. The first part distinguishes between two kinds of logic: One kind based on union of the common...

In this book we study the Deontic Logic of the Talmud. We find the system is different from the formal deontic logical system currently used in the general scientific community, both in its ethical...

Tbilisi Mathematical Journal (TMJ) is a fully refereed international journal, publishing original research papers in all areas of mathematics. Papers should satisfy the high standards and only works...

Tbilisi Mathematical Journal (TMJ) is a fully refereed international journal, publishing original research papers in all areas of mathematics. Papers should satisfy the high standards and only works...

Tbilisi Mathematical Journal (TMJ) is a fully refereed international journal, publishing original research papers in all areas of mathematics. Papers should satisfy the high standards and only works...

This book studies Talmudic temporal logic and compares it with the logic of time in contemporary law. Following a general introduction about the logical handling of time, the book examines several...

This book contains plenary and invited papers presented at the 6th European Congress of Analytical Philosophy, held in Krakow in August 2008, as well as selected contributions delivered during the...

This book presents an overview of the development of the Axiom of Choice since its introduction by Zermelo at the beginning of the last century. The book surveys the Axiom of Choice from three...

This is Volume I of the proceedings of the 4th European Conference on Argumentation, "The cognitive dimension of social argumentation", held at the University of Roma Tre in September 2022. The...

This is Volume II of the proceedings of the 4th European Conference on Argumentation, "The cognitive dimension of social argumentation", held at the University of Roma Tre in September 2022. The...

This is Volume III of the proceedings of the 4th European Conference on Argumentation, "The cognitive dimension of social argumentation", held at the University of Roma Tre in September 2022. The...