Formal methods for the specification and verification of hardware and software systems are
becoming more and more important as systems increase in size and complexity. The aim of …

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the
main proof-theoretical notions of logic. The subject develops along the lines of denotational …

Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where
all things start (…) An-Fang was near a city, the only living city with a pre-atomic name (…) …

This comprehensive text demonstrates how various notions of logic can be viewed as
notions of universal algebra. It is aimed primarily for logisticians in mathematics, philosophy …

The title of this piece is not 'A Survey of Relevance Logic'. Such a project was impossible in
the mid 1980s when the first version of this article was published, due to the development of …

Proof Theory is the area of mathematics which studies the concepts of mathematical proof
and mathematical provability. Since the notion of “proof” plays a central role in mathematics …

Substructural logics are by now one of the most prominent branches of the research field
usually labelled as" nonclassical logics"-and perhaps of logic tout court. Over the last few …

The paper is mainly concerned with the extension of proof-nets to additives, for which the
best known solution is presented. It proposes two cut-elimination procedures, the lazy one …

In this paper we compare grammatical inference in the context of simple and of mixed
Lambek systems. Simple Lambek systems are obtained by taking the logic of residuation for …

The calculus of relations has been an important component of the development of logic and
algebra since the middle of the nineteenth century, when Augustus De Morgan observed …