[T] he framework of ordinary sequents is not capable of handling all interesting logics. There
are logics with nice, simple semantics and obvious interest for which no decent, cut-free …

This book develops a view of logic as a theory of information-driven agency and intelligent
interaction between many agents-with conversation, argumentation and games as guiding …

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 …

The first uses a unary operation*(" star") on some underlying set of" states"(" worlds,""
situations,"" set-ups,"" cases," whatever). The second definition uses a binary relation I (" …

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 present monograph is a slightly revised version of my Habilitations schrift Proof-
theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig …

RT (Pn). So, RB (Pn)⊆ RT (Pn). Moreover, RB (P) is symmetric by definition, for any pre-
topology P. Hence it is a tolerance relation, because reflexivity is inherited by the pre …

In this paper we introduce canonical extensions of partially ordered sets and monotone
maps and a corresponding discrete duality. We then use these to give a uniform treatment of …

We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative
fashion where the logical functors beyond the basic lattice operations may be added one by …